• Home
• Invited Speakers
• Program
• Organizers
• History
• Registration

Program

Invited Talk 1: 9:00am-10:00am

Using Formal Methods in Network Research? What a Beautiful Idea! [slides]

Mohamed Gouda

Session 1: 10:30am-12:00pm

Reduction-based Security Analysis of Internet Routing Protocols

Chen Chen, Limin Jia, Boon Loo, and Wenchao Zhou

Towards a Rigorous Analysis of AODVv2 (DYMO)

Peter Höfner and Sarah Edenhofer

Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models

Debbie Perouli, Stefano Vissicchio, Alexander Gurney, Olaf Maennel, Timothy Griffin, Iain Phillips, Sonia Fahmy, and Cristel Pelsser

Lunch: 12pm-1:30pm

Tejas Conference Dining Room

Invited Talk 2: 1:30pm-2:30pm

Structured Orchestration of Data and Computation [slides]

Jayadev Misra

Session 2: 3:00pm-4:30pm

A Diversified and Correct-by-Construction Broadcast Service

Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable

Integration Testing of Protocol Implementations using Symbolic Distributed Execution

Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, and Klaus Wehrle

Verification and Synthesis of Firewalls Using SAT and QBF

Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik and Sanjai Narain

Business Meeting: 4:30pm-5:00pm