Tue 6 Nov 2018 09:05 - 10:00 at Franklin - Keynote: Richards Chair(s): Tucker Taft

DARPA’s new Cyber-Assured Systems Engineering (CASE) Program – Motivations, Challenges, and Technical Approaches to addressing cyber-resilience in critical software-intensive systems

Tue 6 Nov

hilt-2018-papers
08:30 - 10:00: HILT 2018 - Keynote: Richards at Franklin
Chair(s): Tucker TaftAdaCore
hilt-2018-papers08:30 - 08:45
Awards
hilt-2018-papers08:45 - 09:05
Talk
Eric BaizeSAFECode / Dell
hilt-2018-papers09:05 - 10:00
Talk