SPLASH 2018 (series) / HILT 2018 (series) /
HILT 2018 Program
This is the HILT 2018 program - see the full program for SPLASH 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 45mDay opening | Welcome to the HILT 2018 Workshop HILT Tucker Taft AdaCore | ||
09:15 45mTalk | CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked softwareKeynote HILT Robert A. Martin The MITRE Corporation |
10:30 - 12:00 | |||
10:30 45mTalk | Programming Language Systems for Developing Cyber Resilient Software HILT David A. Wheeler IDA | ||
11:15 45mTalk | Cyber-Resilience: What does it really mean, and how do we design it into our systems? HILT Deborah Bodeau The MITRE Corporation |
13:30 - 15:00 | |||
13:30 45mTalk | Tool support for Confidentiality by Construction HILT S: Tobias Runge TU Braunschweig, S: Ina Schaefer Technische Universität Braunschweig, Alexander Knüppel TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University, Derrick Kourie Stellenbosch University, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR | ||
14:15 45mOther | Panel on Language-based Security HILT P: Stephen Chong Harvard University, Ina Schaefer Technische Universität Braunschweig, Tobias Runge TU Braunschweig, Lucas Wagner Rockwell Collins, Sam Procter Carnegie Mellon Software Engineering Institute, Tucker Taft AdaCore |
15:30 - 17:00 | |||
15:30 30mShort-paper | SPARK by Example: an introduction to formal verification through the standard C++ library HILT | ||
16:00 30mShort-paper | Soundness of a Dataflow Analysis for Memory Monitoring HILT P: Dara Ly CEA LIST, Nikolai Kosmatov CEA List, Frederic Loulergue Northern Arizona University, Julien Signoles CEA LIST | ||
16:30 25mShort-paper | Minimal Specifications for Detecting Security Vulnerabilities HILT P: Andrew Berns University of Northern Iowa, James Curbow University of Northern Iowa, Joshua Hilliard University of Northern Iowa, Sheriff Jorkeh University of Northern Iowa, Miho Sanders University of Northern Iowa | ||
16:55 5mSocial Event | 6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM HILT |
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 15mAwards | SIGAda Awards and Sponsor Intros HILT Tucker Taft AdaCore | ||
08:45 20mTalk | SAFECode.org and Secure Software Development Practices HILT Eric Baize SAFECode / Dell | ||
09:05 55mTalk | DARPA CASE program, motivation and challengesKeynote HILT Raymond Richards DARPA |
10:30 - 12:00 | |||
10:30 45mTalk | SpeAR – Using a formal specification language for safety and security HILT Lucas Wagner Rockwell Collins | ||
11:15 45mTalk | Architecture-level security in a safety-critical system HILT S: Sam Procter Carnegie Mellon Software Engineering Institute, Peter Feiler Carnegie Mellon Software Engineering Institute |
13:30 - 15:00 | |||
13:30 45mTalk | Who decides what is allowed? User Interactions and Permissions Use on Android HILT Jeffrey S. Foster Tufts University | ||
14:15 45mTalk | A Language for Programmable Hardware Security HILT Chris Casinghino Draper Laboratory |
15:30 - 17:00 | |||
15:30 25mIndustry talk | Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations HILT Paul Anderson GrammaTech, Inc | ||
15:55 25mIndustry talk | Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication HILT Mario Troiani Virtual Software Systems | ||
16:20 25mIndustry talk | Security Showcase -- SPARK Formal Verification for Security HILT Tucker Taft AdaCore | ||
16:45 15mDay closing | Workshop Wrapup HILT Tucker Taft AdaCore |