Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.

Farzaneh Derakhshan Zichao Zhang Amit Vasudevan Limin Jia

Published in: CSF (2023)

Keyphrases

end to end
congestion control
ad hoc networks
wireless ad hoc networks
admission control
real time
content delivery
application layer
high bandwidth
programming language
multipath
internet protocol
transport layer
packet loss rate