Number of items: 2.
Baelde, David and Delaune, Stephanie and Jacomme, Charlie and Koutsos, Adrien and Moreau, Solene
(2021)
An Interactive Prover for Protocol Verification in the Computational Model.
Delaune, Stephanie and Kremer, Steve and Ryan, Mark D. and Steel, Graham
(2011)
Formal analysis of protocols based on TPM state registers.
This list was generated on Tue Oct 15 06:26:32 2024 CEST.