Are TCP extensions middlebox-proof?

Benjamin Hesmans Fabien Duchene Christoph Paasch Gregory Detal Olivier Bonaventure

Published in: HotMiddlebox@CoNEXT (2013)

Keyphrases

end to end
theorem prover
presburger arithmetic
default logic
logical rules
mathematical proofs
artificial intelligence
website
response time
theorem proving
ip networks