Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
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

Conference Day
Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
IIHILT at Franklin
Chair(s): William BailThe MITRE Corporation
13:30
45m
Talk
Tool support for Confidentiality by Construction
HILT
S: Tobias RungeTU Braunschweig, S: 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
45m
Other
Panel on Language-based Security
HILT
P: 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
IIIHILT at Franklin
Chair(s): Peter ChapinVermont Technical College
15:30
30m
Short-paper
SPARK by Example: an introduction to formal verification through the standard C++ library
HILT
16:00
30m
Short-paper
Soundness of a Dataflow Analysis for Memory Monitoring
HILT
P: Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST
16:30
25m
Short-paper
Minimal Specifications for Detecting Security Vulnerabilities
HILT
P: 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
5m
Social Event
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM
HILT

Conference Day
Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
IVHILT at Franklin
Chair(s): Alok SrivastavaSAIC
10:30
45m
Talk
SpeAR – Using a formal specification language for safety and security
HILT
Lucas WagnerRockwell Collins
11:15
45m
Talk
Architecture-level security in a safety-critical system
HILT
S: Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute

Conference Day
Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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