New Models for Protocol Security

Abstract

Following the ground-breaking work on public-key encryption in the 70's, 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 18, 2015
Accession Number
ADA622803

Entities

People

  • Rafael Pass

Organizations

  • Cornell University

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Research Laboratories
  • Asymetric Encryption
  • Coding
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Cryptography
  • Electronic Mail
  • Game Theory
  • New York
  • Power Supplies
  • Security
  • Security Protocols

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Cybersecurity.
  • Mathematical Modeling and Probability Theory.
  • Research Science/Academic Research

Technology Areas

  • Cyber
  • Cyber - Cryptography