Program Agenda
CONFERENCE
Monday, April 29 thru Wednesday, May 1
The conference program will feature invited speakers, panel discussions, and a technical track of contributed talks.
CONFERENCE DINNER
Tuesday, April 30 | 6:30pm - 8:30pm
There will be a no-host conference dinner on Tuesday, April 30 at The Chart House. The cost is $30 to attend.
CO-LOCATED MEETINGS
As in previous years, the Software Certification Consortium Meeting will be co-located with HCSS. The meeting will begin on Thursday morning and go thru Friday afternoon. More information about the Software Certification Consortium can be found at http://cps-vo.org/group/scc
Also co-located this year is a workshop on Formal Methods for Statistical Software (FMfSS). Scheduled for May 1, this workshop will identify formal methods, tools, and techniques that can be used now (or have the potential in the near future) to gain assurance about statistical software and results with reasonable resources. More information can be found online at https://samate.nist.gov/FMSwVRodeo/FMfSS2019.html.
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) |
|
| 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 |
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 | Conference Dinner The Chart House 300 2nd Street Annapolis, MD 21403 |
Conference Archives: 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018
