[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Theorem-based circuit derivation in cryptol
Launchbury, JohnYear:
2011
Language:
english
DOI:
10.1145/2047862.2047894
File:
PDF, 528 KB
english, 2011