Published December 15, 2014 in The Synergy between Programming Languages and Cryptography | Full size is 287 × 260 pixels

Security related to Formal Verification

Analogous reasoning tasks in Cryptography and Programming Languages

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.