Formally Verifying a Rollback-Prevention Protocol for TEEs.

Weili Wang Jianyu Niu Michael K. Reiter Yinqian Zhang

Published in: FORTE (2024)

Keyphrases

lightweight
network protocols
cryptographic protocols
low overhead
case study
network simulator
coloured petri nets
model checking
multi party
formal analysis
communication protocol
application layer
tcp ip
neural network
mobile devices
workflow management systems