Skip to content

A Formal Language for Cryptographic Pseudocode.

Michael Backes, Matthias Berg, Dominique Unruh

VenueBLPAR
Year2008
ProceedingsLPAR

Browse the full LPAR paper archive.