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).
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Powered by OpenScholar