A Domain Specific Language for Cryptography.

Giovanni Agosta, Gerardo Pelosi

Browse the full FDL paper archive.