Paulo Silva

Cryptography and Information Security

Post Doc Researcher (email)

New post on HASLab blog

November 7, 2013

High-assurance software on unreliable hardware

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