Login / Signup

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing.

Rody KerstenBernard van GastelManu DrijversSjaak SmetsersMarko C. J. D. van Eekelen
Published in: NASA Formal Methods (2013)
Keyphrases