Akshay Patil - Academia.edu (original) (raw)

Akshay Patil

Related Authors

Yoshifumi Manabe

LONG NGO

LONG NGO

University of Social Sciences and Humanities - Vietnam National University (VNU-HCM)

Flávio Garcia

Hong-Sheng Zhou

Sebastian Gajek

Scott Coull

Uploads

Papers by Akshay Patil

Research paper thumbnail of On Symbolic Analysis of Cryptographic Protocols

The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic ana... more The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic analysis on top of the universally composable (UC) secure framework to construct computationally sound proofs of cryptographic protocol security. The original proposal of the UCSA framework by Canetti and Herzog focused on protocols that only use public key encryption to achieve 2-party mutual authentication or key exchange. This thesis expands the framework to include protocols that use digital signatures as well.

Research paper thumbnail of On Symbolic Analysis of Cryptographic Protocols

The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic ana... more The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic analysis on top of the universally composable (UC) secure framework to construct computationally sound proofs of cryptographic protocol security. The original proposal of the UCSA framework by Canetti and Herzog focused on protocols that only use public key encryption to achieve 2-party mutual authentication or key exchange. This thesis expands the framework to include protocols that use digital signatures as well.

Log In