DSLDI 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
Program
DSLDI Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
DSLDI 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
DSLDI 2018
DSLDI 2017
DSLDI 2016
DSLDI 2015
DSLDI
Sign in
Sign up
SPLASH 2018
(
series
) /
DSLDI 2018 (
series
) /
Boston Park Plaza Hotel
/
Room information: Franklin
Venue
Boston Park Plaza Hotel
Room name
Franklin
Floor
4
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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: Martin
HILT
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 software
Keynote
HILT
Robert A. Martin
The MITRE Corporation
10:30 - 12:00
I
HILT
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
II
HILT
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
III
HILT
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: Richards
HILT
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 challenges
Keynote
HILT
Raymond Richards
DARPA
10:30 - 12:00
IV
HILT
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
V
HILT
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 & Wrapup
HILT
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
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
Franklin
HILT
Keynote: Martin
HILT
I
HILT
II
HILT
III
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
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
Franklin
HILT
Keynote: Richards
HILT
IV
HILT
V
HILT
Showcase & Wrapup
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
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
Franklin
HILT
Welcome to the HILT 2018 Workshop
08:30 - 09:15
HILT
Keynote
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
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
Franklin
HILT
SIGAda Awards and Sponsor Intros
08:30 - 08:45
HILT
SAFECode.org and Secure Software Development Practices
08:45 - 09:05
HILT
Keynote
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
x
Thu 21 Nov 15:56