Announcements
Bio
Links
Presentations
Publications
Software
Paulo Silva
Cryptography and Information Security
Post Doc Researcher
(email)
Machine Assisted Verification Tools for Cryptography
in
terms
CACE Project
CALF language
CAO language
CAO-SL
DSL
Program Verification
Tools for Cryptography
10/13/2010
Porto, Portugal
http://www.slideshare.net/slideshow/embed_code/28463053
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)