Program Agenda

Visible to the public 

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.

 

Visible to the public 

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
Conference Dinner

The Chart House

300 2nd Street
Annapolis, MD 21403
 

Conference Archives: 2001200220032004200520062007200820092010201120122013, 2014, 2015, 2016, 2017, 2018