| |
MONDAY, MAY 7
Trusting Autonomy |
TUESDAY, MAY 8
Complex Heterogeneous Systems
|
WEDNESDAY, MAY 9
Blockchain
|
| 0900 - 1000 |
Keynote Presentation:
Assured Autonomy
Sandeep Neema (DARPA) |
Keynote Presentation:
A Four Pillar Improvement Strategy to Qualification of Embedded Software Systems
Peter H. Feiler (SEI) |
Keynote Presentation:
Challenges Ahead for Blockchains
Emin Gün Sirer (Cornell) |
| 1000 - 1030 |
Data-driven Safe Control of Nonlinear Systems
Susmit Jha
(SRI International) |
Perspectives on Applying the Safety Case Approach for the Assurance of Complex Heterogeneous Systems
Ewen Denney
(SGT / NASA Ames) |
On the Emerging Trend of Computer-Aided Cryptology and the Technology Transition Gap it Presents
Evan Austin
(SPAWAR Systems Center Atlantic) |
| 1030 - 1100 |
BREAK
|
BREAK |
BREAK |
| 1100 - 1130 |
Using Formal Methods to Reason About Neural Network Based Autonomous Systems
Stephen Magill
(Galois, Inc.) |
Principles of Layered Attestation
Paul Rowe
(The MITRE Corporation) |
Applying Symbolic Execution to Blockchain Applications
Mark Mossberg
(Trail of Bits) |
| 1130 - 1145 |
Towards Formally Verified Deep Neural Networks
Clark Barrett
(Stanford University) |
Architecture-Driven Assurance for Model-Based Systems Engineering
Darren Cofer
(Rockwell Collins) |
| 1145 - 1200 |
Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Aron Laszka
(University of Houston) |
| 1200 - 1215 |
LUNCH
(on your own) |
LUNCH
(on your own) |
| 1215 - 1245 |
Case Study: Verifying Safety of a UUV Heading PID Controller
Daniel Genin
(JHU APL) |
| 1245 - 1330 |
Confernence Adjourned |
| 1330 - 1415 |
Invited Presenter:
Growing Risk of Cyber Attacks
Vinh Nguyen (ODNI) |
Invited Presenter:
The Future of Cyber-autonomy
David Brumley (ForAllSecure / CMU) |
| 1415 - 1500 |
POSTER SESSION / BREAK
|
POSTER SESSION / BREAK
|
| 1500 - 1530 |
Intrusion and Anomaly Detection in Autonomous Vehicle Systems
Sam Lauzon (University of Michigan - Transportation Research Institute) |
Model-based System Certification –
A Vision
Jérôme Hugues (ISAE Supaero) |
| 1530 - 1600 |
The KeYmaera X Theorem Prover: Hybrid Systems Verification and Verified Runtime Validation
Stefan Mitsch
(CMU) |
VeriCores: Cyber-Instrumenting Devices Built from Verified Components
David Hardin
(Rockwell Collins) |
| 1600 - 1630 |
Safe Pointers and Verifiable Automatic Heap Management without Garbage Collection
S. Tucker Taft
(AdaCore) |
High-Assurance Blockchains: Applications and Verification
Joe Hendrix
(Galois, Inc) |
| 1630 |
Adjourn for the Day |
Adjourn for the Day
|
| 1830 |
Conference Dinner
The Chart House
300 2nd Street
Annapolis, MD 21403
|
