Selected Publications


Monographs, Edited Volumes, Book Chapters:

 


Journal, Conference, and Workshop Publications:

Usable Human Authentication

 

 

Privacy, Audit and Accountability

 

(Preliminary version presented at the 2011 Privacy Law Scholars Conference, June 2011.)

 

Trustworthy Systems

 

 

Protocol Composition Logic

 

 

Program Equivalence, Games, and Universal Composability

 


Patent:


Theses: