WRiPE 2012
The 2nd International Workshop
on Rigorous Protocol Engineering

30 October 2012
Austin, Texas, USA
Co-located with ICNP 2012


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

Image credit jimnix.