Write a Blog >>
BLOCKS+ 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
SPLASH 2018 (series) / BLOCKS+ 2018 (series) / Boston Park Plaza Hotel /

Room information: Franklin

VenueBoston Park Plaza Hotel
Room nameFranklin
Floor4
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote: MartinHILT at Franklin
Chair(s): S Tucker Taft
08:30
45m
Day opening
Welcome to the HILT 2018 Workshop
HILT
Tucker Taft AdaCore
09:15
45m
Talk
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
IHILT at Franklin
Chair(s): Clyde Roby IDA
10:30
45m
Talk
Programming Language Systems for Developing Cyber Resilient Software
HILT
David A. Wheeler IDA
11:15
45m
Talk
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
IIHILT at Franklin
Chair(s): William Bail The MITRE Corporation
13:30
45m
Talk
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
45m
Other
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
IIIHILT at Franklin
Chair(s): Peter Chapin Vermont Technical College
15:30
30m
Short-paper
SPARK by Example: an introduction to formal verification through the standard C++ library
HILT
Léo Creuse ISAE, Joffrey Huguet ISAE, P: Christophe Garion ISAE-SUPAERO, Jerome Hugues ISAE
16:00
30m
Short-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
25m
Short-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
5m
Social Event
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM
HILT

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote: RichardsHILT at Franklin
Chair(s): Tucker Taft AdaCore
08:30
15m
Awards
SIGAda Awards and Sponsor Intros
HILT
Tucker Taft AdaCore
08:45
20m
Talk
SAFECode.org and Secure Software Development Practices
HILT
Eric Baize SAFECode / Dell
09:05
55m
Talk
DARPA CASE program, motivation and challengesKeynote
HILT
Raymond Richards DARPA
10:30 - 12:00
IVHILT at Franklin
Chair(s): Alok Srivastava SAIC
10:30
45m
Talk
SpeAR – Using a formal specification language for safety and security
HILT
Lucas Wagner Rockwell Collins
11:15
45m
Talk
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
VHILT at Franklin
Chair(s): William Bail The MITRE Corporation
13:30
45m
Talk
Who decides what is allowed? User Interactions and Permissions Use on Android
HILT
Jeffrey S. Foster Tufts University
14:15
45m
Talk
A Language for Programmable Hardware Security
HILT
Chris Casinghino Draper Laboratory
15:30 - 17:00
Showcase & WrapupHILT at Franklin
Chair(s): Tucker Taft AdaCore
15:30
25m
Industry talk
Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
HILT
Paul Anderson GrammaTech, Inc
15:55
25m
Industry talk
Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
HILT
Mario Troiani Virtual Software Systems
16:20
25m
Industry talk
Security Showcase -- SPARK Formal Verification for Security
HILT
Tucker Taft AdaCore
16:45
15m
Day closing
Workshop Wrapup
HILT
Tucker Taft AdaCore

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Franklin

HILT

Keynote: Martin

HILT

I

HILT

II

HILT

III

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Franklin

HILT

Keynote: Richards

HILT

IV

HILT

V

HILT

Showcase & Wrapup

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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