Verse: An EDSL for Cryptographic Primitives.

Abhishek Dang, Piyush P. Kurur

Browse the full PPDP paper archive.