Login / Signup
New abstractions in applied pi-calculus and automated verification of protected executions.
Shiwei Xu
Sergiu Bursuc
Julian P. Murphy
Published in:
IACR Cryptol. ePrint Arch. (2013)
Keyphrases
</>
automated verification
model checking
information systems
high level