A Formal Language for Cryptographic Pseudocode

Backes, Michael and Berg, Matthias and Unruh, Dominique
(2008) A Formal Language for Cryptographic Pseudocode.
In: LPAR 2008.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item