Modular code-based cryptographic verification
Cédric Fournet, Markulf Kohlweiss, and Pierre-Yves Strub
2011
In ACM Conference on Computer and Communications Security
Publisher ACM
Details
| Type | Inproceedings |
| Pages | 341-350 |
| ISBN | 978-1-4503-0948-6 |
Related People
Share
