Back to Results
First PageMeta Content
Computational hardness assumption / Ciphertext indistinguishability / Computer security / Cyberwarfare / Science / Cryptography / Cryptographic primitive / Information-theoretic security


Proving Computational Security with a General-Purpose C Verifier A 5-Minute Talk Fran¸cois Dupressoir The Open University
Add to Reading List

Document Date: 2012-07-05 18:15:11


Open Document

File Size: 61,49 KB

Share Result on Facebook

Company

Microsoft / /

Event

Reorganization / /

Facility

Minute Talk Fran¸cois Dupressoir The Open University C´edric Fournet Microsoft Research Cambridge Andrew D. Gordon Microsoft Research Cambridge University / /

Organization

Cambridge University / University of Edinburgh / Federal Communications Commission / /

Position

IND-CPA / /

Technology

encryption / Edinburgh Security protocols / authenticated encryption / API / /

SocialTag