Paulo Silva

Cryptography and Information Security

Post Doc Researcher (email)

The CAO compiler is publicly available at Hackage

April 16, 2014

Hackage repository

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

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.

Powered by OpenScholar