Announcements
Bio
Links
Presentations
Publications
Software
Paulo Silva
Cryptography and Information Security
Post Doc Researcher
(email)
CAO-SL
Showing results in 'Presentations'.
Show all posts
Machine Assisted Verification Tools for Cryptography
,
at
Porto, Portugal,
10/13/2010
Add new comment
Recent Presentations
Compiling CAO: from Cryptographic Specifications to C Implementations
Machine Assisted Verification Tools for Cryptography
Tags
CACE Project
(1)
CALF language
(1)
CAO language
(1)
CAO-SL
(1)
DSL
(1)
Program Verification
(1)
Tools for Cryptography
(1)