Login / Signup
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.
Philipp G. Haselwarter
Benjamin Salling Hvass
Lasse Letager Hansen
Théo Winterhalter
Catalin Hritcu
Bas Spitters
Published in:
CPP (2024)
Keyphrases
</>
end to end
high speed
admission control
high bandwidth
real time
multipath
wireless ad hoc networks
container terminal
multi hop
congestion control
response time
frame rate
content delivery
wireless networks
text localization and recognition