Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CCS
2015
ACM

favoriteEmaildiscussreport

21views Security Privacy» more CCS 2015»

Automated Proofs of Pairing-Based Cryptography

8 years 3 days ago

Automated Proofs of Pairing-Based Cryptography

Download beschmi.net

Gilles Barthe, Benjamin Grégoire, Benedikt

Real-time Traffic

CCS 2015 | Security Privacy |

claim paper

Related Content

» Automated Security Proofs with Sequences of Games

» A Formal Model of Identity Mixer

» Adaptive Chosen Ciphertext Secure Threshold Key Escrow Scheme from Pairing

» Building Segmentation Based HumanFriendly Human Interaction Proofs HIPs

» LowLevel Ideal Signatures and General Integrity Idealization

» Proving Security Protocols Correct

» Intruder Deductions Constraint Solving and Insecurity Decision in Presence of Exclusive or

Post Info
More Details (n/a)

Added	17 Apr 2016
Updated	17 Apr 2016
Type	Journal
Year	2015
Where	CCS
Authors	Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt

Comments (0)