Number of items: 2.
Delaune, Stephanie and Kremer, Steve and Ryan, Mark D. and Steel, Graham
(2011)
Formal analysis of protocols based on TPM state registers.
Arapinis, Myrto and Ritter, Eike and Ryan, Mark D.
(2011)
StatVerif: Verification of Stateful Processes.
This list was generated on Thu Apr 25 21:08:24 2024 CEST.