ACM CoNEXT 2013 HotMiddlebox WorkshopProgram

Final Technical Program

8:30-10:00

Continental Breakfast

 
10:00-10:15

Welcome Message

(All workshop talks will be in the Santa Cruz room)
 
10:15-11:05

TCP

 
10:15-10:40 Multipath in the Middle(Box)
Gregory Detal, Christoph Paasch, and Olivier Bonaventure (Universite catholique de Louvain)
 
10:40-11:05 Evolving the Internet with Connection Acrobatics
Catalin Nicutar (University Politehnica of Bucharest), Christoph Paasch (Universite Catholique de Louvain), Marcelo Bagnulo (Univeridad Carlos III Madrid), and Costin Raiciu (University Politehnica of Bucharest)
 
11:05-11:55

Platforms

 
11:05-11:30 Towards Minimalistic, Virtualized Content Caches with Minicache
Simon Kuenzer, Joao Martins, Mohamed Ahmed, and Felipe Huici (NEC Europe Ltd.)
 
11:30-11:55 FlowOS: A Flow-based Platform for Middleboxes
Mehdi Bezahaf and Abdul Alim (Lancaster University) and Laurent Mathy (University of Liege)
 
12:00-13:30

Lunch

(Reagan Room)
 
13:30-14:20

Verification

 
13:30-13:55 Verifiable Network Function Outsourcing: Requirements, Challenges, and Roadmap
Seyed Kaveh Fayazbakhsh (Stony Brook University), Michael K Reiter (UNC Chapel Hill), and Vyas Sekar (Stony Brook University)
 
13:55-14:20 SymNet: Static Checking for Stateful Networks
Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu (University Politehnica of Bucharest)
 
14:20-14:45

Coffee Break

 
14:45-15:35

Traversal

 
14:45-15:10 Are TCP Extensions Middlebox-proof?
Benjamin Hesmans, Fabien Duchene, Christoph Paasch, Gregory Detal, and Olivier Bonaventure (Universite catholique de Louvain)
 
15:10-15:35 Analysis and Topology-based Traversal of Cascaded Large Scale NATs
Andreas Müller, Florian Wohlfart, and Georg Carle (TU Munich)
 
18:30-20:00 Reception (Reagan Room)