Login / Signup
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