Announcements
Bio
Links
Presentations
Publications
Software

Paulo Silva

Cryptography and Information Security

Post Doc Researcher (email)

CALF language

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)

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.

Powered by OpenScholar