Paulo Silva
Cryptography and Information Security
Post Doc Researcher
(email)
Tool demo presented at POST14: Compiling CAO: from Cryptographic Specifications to C Implementations
April 8, 2014
Slides can be found
here
Announcements
Bio
Links
Presentations
Publications
Software
Latest Announcements
The CAO compiler is publicly available at Hackage
Tool demo presented at POST14: Compiling CAO: from Cryptographic Specifications to C Implementations
Tool demonstration paper accepted at POST14
New post on HASLab blog