New Models for Protocol Security
Final rept. 1 Apr 2010-31 Mar 2015
CORNELL UNIV NEW YORK
Pagination or Media Count:
Following the ground-breaking work on public-key encryption in the 70s, the field of Cryptography has evolved far beyond securing message transmission. This novel use of cryptography, however, also admits new types of attacks, which require studying new models of security. During the reporting period, we have focused on two major directions within this topic security under concurrent executions, and security under tampering attacks. Our research has been published in the premier Computer Science Theory conferences STOC, FOCS, ITCS, and the premier Cryptography conferences CRYPTO, EuroCrypt, TCC 5 of these papers were selected for special issues on best papers.
- Computer Systems Management and Standards