Selected Publications


Manuscripts:


Journal, Conference, and Workshop Publications:

Trustworthy Systems

 

 

Foundations of Privacy

 

 

Network Security: Protocol Composition Logic

 

 

Cryptographic Definitions of Security

 


Patent:


Theses: