Announcements
Bio
Links
Presentations
Publications
Software
Paulo Silva
Cryptography and Information Security
Post Doc Researcher
(email)
Reply to comment
Machine Assisted Verification Tools for Cryptography
,
at
Porto, Portugal,
10/13/2010
10/13/2010
Porto, Portugal
http://www.slideshare.net/slideshow/embed_code/28463053
Add new comment
Reply
Subject:
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)