Verified Security of Redundancy-Free Encryption from Rabin and RSA
Gilles Barthe, David Pointcheval, and Santiago Zanella-Béguelin
2012
 PDF file |
In 19th ACM Conference on Computer and Communications Security, CCS 2012
Publisher ACM
Details
| Type | Inproceedings |
| URL | http://dx.doi.org/10.1145/2382196.2382272 |
| Pages | 724-735 |
| Address | New York |