2019 Program Agenda

Submitted by Katie Dey on Sun, 03/17/2019 - 9:30pm

DOWNLOAD PRINTER-FRIENDLY VERSION | DOWNLOAD PROCEEDINGS BOOKLET

2019 DAILY AGENDA

	MONDAY, APRIL 29	TUESDAY, APRIL 30	WEDNESDAY, MAY 1
0900 - 1000	Keynote Presentation: What Blockchain Got Right, No Really Dan Guido (Trail of Bits)	Keynote Presentation: End-to-end correctness theorems spanning software and hardware Magnus Myreen (Chalmers University of Technology)	Keynote Presentation: Automated Rapids Certification of Software Ray Richards (DARPA)
1000 - 1030	Semantics-Driven Testing of the PKCS11 API Matt Bauer and Mike Dodds (Galois, Inc.)	Reasoning about Security of Amazon Web Services Byron Cook (Amazon Web Services)	Automating Avionics Certification activities using Formal Methods Lucas Wagner (Collins Aerospace)
1030 - 1100	BREAK	BREAK	BREAK
1100 - 1130	Semi-automated Test Case Generation for ACAS X Implementation Validation Daniel Genin (JHU APL)	Hardware/Software Coassurance using Algorithmic C and ACL2 David Hardin (Collins Aerospace)	Tiros: Reachability analysis for AWS-based Networks Using Automated Theorem Proving John Backes (Amazon Web Services)
1130 - 1200	Model-Based Grey-Box Fuzzing David Greve (Collins Aerospace)	Understanding Attestation: Analyzing Protocols that Use Quotes Joshua Guttman (The MITRE Corporation)	Semantic Analysis of AWS Access Control Andrew Gacek (Amazon Web Services)
1200 - 1330	LUNCH (on your own)	LUNCH (on your own)	LUNCH (on your own)
1330 - 1400	Invited Talk: Fuzzing @ Microsoft - A Research Perspective Patrice Godefroid (Microsoft Research)	Invited Presenter: Challenges Integrating Formal Methods into Certification of Critical Software & Systems Michael Durling (GE Global Research)	Deriving Formal Specifications from Natural Language Requirements using ARSENAL 2 Natarajan Shankar (SRI International)
1400 - 1415			Checked C: Safe C, Incrementally Michael Hicks (University of Maryland)
1415 - 1430	Combining Property-based Testing and Fuzzing Benjamin Pierce (University of Pennsylvania)	The Industrial Age of Hacking Jared Ziegler and Tim Nosco (NSA)
1430 - 1445			Conference Adjourned
1445 - 1530	POSTER SESSION / BREAK	POSTER SESSION / BREAK
1530 - 1600	CherryPie: Program Analysis to Assist the Detection of Logic Bombs J. Aaron Pendergrass (JHU APL)	Security Policy and Resiliency Tools and ANalysis (SPARTAN) Lindsay Holden (Systems & Technology Research)
1600 - 1630	Understanding security mistakes developers make: Qualitative analysis from Build It, Break It, Fix It Daniel Votipka (University of Maryland)	Cyber-Resilient Architectural Patterns Darren Cofer (Collins Aerospace)
1630	Adjourn for the day	Adjourn for the day
1830	Adjourn for the day	Conference Dinner The Chart House 300 2nd Street Annapolis, MD 21403