7:30-8:30 BREAKFAST

8:30-8:35 Day 2 Opening Remarks
8:35-10:00 Keynote Talk: Ironclad: Full Verification of Complex Systems, Bryan Parno, Microsoft Research, US

10:00-10:30 BREAK

10:30-12:00 Invited Talk: On the Role of the Network for Layered Assurance in Distributed Systems Wilfried Steiner, TTTech, Vienna, AT