Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien Véronique Cortier Stéphanie Delaune

Published in: ESORICS (2) (2015)

Keyphrases

database
real time
lower bound
execution traces