HASLab

Announcements

The CAO compiler is publicly available at Hackage

April 16, 2014

Hackage repository

Tool demo presented at POST14: Compiling CAO: from Cryptographic Specifications to C Implementations

April 8, 2014

Slides can be found here

Tool demonstration paper accepted at POST14

December 18, 2013

Tool demonstration paper "Compiling CAO: from Cryptographic Specifications to C Implementations" accepted at POST14 (part of ETAPS 2014: 5-13 April 2014, Grenoble, France).

New post on HASLab blog

November 7, 2013

High-assurance software on unreliable hardware

Paulo Silva

Cryptography and Information Security

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

Latest Announcements