Publication Overview

Michael Backes and Matthias Berg and Dominique Unruh

A Formal Language for Cryptographic Pseudocode

Published in: LPAR
Year: 2008
Pages: 353-376