Accession Number:

ADA622803

Title:

New Models for Protocol Security

Descriptive Note:

Final rept. 1 Apr 2010-31 Mar 2015

Corporate Author:

CORNELL UNIV NEW YORK

Personal Author(s):

Report Date:

2015-06-18

Pagination or Media Count:

17.0

Abstract:

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.

Subject Categories:

  • Computer Systems Management and Standards
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE