Program - SPLASH 2018

Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR

14:15 - 15:00
Other

Panel on Language-based Security

Stephen ChongHarvard University, Ina SchaeferTechnische Universität Braunschweig, Tobias RungeTU Braunschweig, Lucas WagnerRockwell Collins, Sam ProcterCarnegie Mellon Software Engineering Institute, Tucker TaftAdaCore

15:30 - 17:00: HILT 2018 - III at Franklin
Chair(s): Peter ChapinVermont Technical College

15:30 - 16:00
Short-paper

SPARK by Example: an introduction to formal verification through the standard C++ library

Léo CreuseISAE, Joffrey HuguetISAE, Christophe GarionISAE-SUPAERO, Jerome HuguesISAE

16:00 - 16:30
Short-paper

Soundness of a Dataflow Analysis for Memory Monitoring

Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST

16:30 - 16:55
Short-paper

Minimal Specifications for Detecting Security Vulnerabilities

Andrew BernsUniversity of Northern Iowa, James CurbowUniversity of Northern Iowa, Joshua HilliardUniversity of Northern Iowa, Sheriff JorkehUniversity of Northern Iowa, Miho SandersUniversity of Northern Iowa

16:55 - 17:00
Social Event

6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM

Tue 6 Nov

08:30 - 10:00: HILT 2018 - Keynote: Richards at Franklin
Chair(s): Tucker TaftAdaCore

08:30 - 08:45
Awards

SIGAda Awards and Sponsor Intros

Tucker TaftAdaCore

08:45 - 09:05
Talk

SAFECode.org and Secure Software Development Practices

Eric BaizeSAFECode / Dell

09:05 - 10:00
Talk

DARPA CASE program, motivation and challengesKeynote

Raymond RichardsDARPA

10:30 - 12:00: HILT 2018 - IV at Franklin
Chair(s): Alok SrivastavaEngility Corp.

10:30 - 11:15
Talk

SpeAR – Using a formal specification language for safety and security

Lucas WagnerRockwell Collins

11:15 - 12:00
Talk

Architecture-level security in a safety-critical system

Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute

13:30 - 15:00: HILT 2018 - V at Franklin
Chair(s): William BailThe MITRE Corporation

13:30 - 14:15
Talk

Who decides what is allowed? User Interactions and Permissions Use on Android

Jeffrey S. FosterTufts University

14:15 - 15:00
Talk

A Language for Programmable Hardware Security

Chris CasinghinoDraper Laboratory

15:30 - 17:00: HILT 2018 - Showcase & Wrapup at Franklin
Chair(s): Tucker TaftAdaCore

15:30 - 15:55
Industry talk

Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations

Paul AndersonGrammaTech, Inc

15:55 - 16:20
Industry talk

Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication

Mario TroianiVirtual Software Systems

16:20 - 16:45
Industry talk

Security Showcase -- SPARK Formal Verification for Security

Tucker TaftAdaCore

16:45 - 17:00
Day closing

Workshop Wrapup

Tucker TaftAdaCore

Mon 5 Nov 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Franklin							HILT Keynote: Martin 08:30 - 10:00																								HILT I 10:30 - 12:00																																				HILT II 13:30 - 15:00																								HILT III 15:30 - 17:00

Tue 6 Nov 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Franklin							HILT Keynote: Richards 08:30 - 10:00																								HILT IV 10:30 - 12:00																																				HILT V 13:30 - 15:00																								HILT Showcase & Wrapup 15:30 - 17:00

Mon 5 Nov 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Franklin							HILT Welcome to the HILT 2018 Workshop 08:30 - 09:15									HILTKeynote CVE, CWE, CQE and all that -- enumerating the security and safety chall ... 09:15 - 10:00															HILT Programming Language Systems for Developing Cyber Resilient Software 10:30 - 11:15									HILT Cyber-Resilience: What does it really mean, and how do we design it int ... 11:15 - 12:00																											HILT Tool support for Confidentiality by Construction 13:30 - 14:15									HILT Panel on Language-based Security 14:15 - 15:00															HILT SPARK by Example: an introduction to formal verification through the st ... 15:30 - 16:00						HILT Soundness of a Dataflow Analysis for Memory Monitoring 16:00 - 16:30						HILT Minimal Specifications for Detecting Security Vulnerabilities 16:30 - 16:55					HILT 6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda E ... 16:55 - 17:00

Tue 6 Nov 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Franklin							HILT SIGAda Awards and Sponsor Intros 08:30 - 08:45			HILT SAFECode.org and Secure Software Development Practices 08:45 - 09:05				HILTKeynote DARPA CASE program, motivation and challenges 09:05 - 10:00																	HILT SpeAR – Using a formal specification language for safety and security 10:30 - 11:15									HILT Architecture-level security in a safety-critical system 11:15 - 12:00																											HILT Who decides what is allowed? User Interactions and Permissions Use on A ... 13:30 - 14:15									HILT A Language for Programmable Hardware Security 14:15 - 15:00															HILT Security Showcae -- Modernizing Static Analysis Tools to Facilitate Int ... 15:30 - 15:55					HILT Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmente ... 15:55 - 16:20					HILT Security Showcase -- SPARK Formal Verification for Security 16:20 - 16:45					HILT Workshop Wrapup 16:45 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

HILT 2018 Program

Mon 5 Nov

Tue 6 Nov

Mon 5 Nov 2018

HILT

HILT

HILT

HILT

Tue 6 Nov 2018

HILT

HILT

HILT

HILT

Mon 5 Nov 2018

Tue 6 Nov 2018

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums