Geek Repo
Location:Baltimore, Maryland, USA
Home Page:http://hms.isi.jhu.edu/
Github PK Tool:Github PK Tool
Charm: A Framework for Rapidly Prototyping Cryptosystems
Automated Cryptographic Transformations
automated cryptographic transformations and formal verification