Search CORE

3 research outputs found

Using model-checking to reveal a vulnerability of tamper-evident pairing

Author: A. Armando
A. Armando
C. Kuo
F. Stajano
G. Holzmann
J. Bengtsson
J. Suomalainen
R. Mayrhofer
S. Gollakota
W. Diffie
Publication venue: Berlin : Springer
Publication date: 01/01/2013
Field of study

Contains fulltext : 122773.pdf (preprint version ) (Open Access)NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 201

Radboud Repository

Using model-checking to reveal a vulnerability of tamper-evident pairing

Author: Brat G.
Drijvers M.
Eekelen M.C.J.D. van
Gastel B. van
Kersten R.
Rungta N.
Smetsers S.
Venet A.
Publication venue
Publication date: 01/01/2013
Field of study

Assessing sustainability of software: analysing correctness, memory and energy consumption.:Analysing correctness, memory and energy consumption

Author: van Gastel B.E.
Publication venue: Open Universiteit
Publication date: 28/10/2016
Field of study

Open University of the Netherlands Research Portal

core

core