Annual Computer Security Applications Conference (ACSAC) 2016

Full Program »

Layered Assurance Workshop (LAW)

Tuesday, 6 December 2016
08:30 - 12:00


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


Powered by OpenConf®
Copyright©2002-2016 Zakon Group LLC