VenueBoston Park Plaza Hotel
Room nameFranklin
Floor4
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: IIHILT at Franklin
Chair(s): William BailThe MITRE Corporation
13:30 - 14:15
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 - 15:00
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 - 16:00
Short-paper
SPARK by Example: an introduction to formal verification through the standard C++ library
HILT
16:00 - 16:30
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 - 16:55
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 - 17:00
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynote: RichardsHILT at Franklin
Chair(s): Tucker TaftAdaCore
08:30 - 08:45
Awards
SIGAda Awards and Sponsor Intros
HILT
08:45 - 09:05
Talk
SAFECode.org and Secure Software Development Practices
HILT
Eric BaizeSAFECode / Dell
09:05 - 10:00
Talk
DARPA CASE program, motivation and challengesKeynote
HILT
10:30 - 12:00: IVHILT at Franklin
Chair(s): Alok SrivastavaSAIC
10:30 - 11:15
Talk
SpeAR – Using a formal specification language for safety and security
HILT
Lucas WagnerRockwell Collins
11:15 - 12:00
Talk
Architecture-level security in a safety-critical system
HILT
S: Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute
13:30 - 15:00: VHILT 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
HILT
Jeffrey S. FosterTufts University
14:15 - 15:00
Talk
A Language for Programmable Hardware Security
HILT
Chris CasinghinoDraper Laboratory
15:30 - 17:00: Showcase & WrapupHILT at Franklin
Chair(s): Tucker TaftAdaCore
15:30 - 15:55
Industry talk
Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
HILT
Paul AndersonGrammaTech, Inc
15:55 - 16:20
Industry talk
Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
HILT
Mario TroianiVirtual Software Systems
16:20 - 16:45
Industry talk
Security Showcase -- SPARK Formal Verification for Security
HILT
16:45 - 17:00
Day closing
Workshop Wrapup
HILT

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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