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:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
end to end
high speed
congestion control
ad hoc networks
admission control
real time
frame rate
wireless ad hoc networks
multipath
high bandwidth
container terminal
information security
rate allocation