Panel on Language-based Security (HILT 2018 - Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems)

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

Who

Stephen Chong, Ina Schaefer, Tobias Runge, Lucas Wagner, Sam Procter, Tucker Taft

Track

HILT 2018

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, MonterreySelect other time zone

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 programSpecify a time band

Save

When

Mon 5 Nov 2018 14:15 - 15:00 at Franklin - II Chair(s): William Bail

Abstract

Panel discussion on the use of programming languages, modeling languages, and specification languages to specify and/or ensure desirable security properties

Stephen ChongPanels Chair

Harvard University

United States

Ina Schaefer

Technische Universität Braunschweig

Germany

Tobias Runge

TU Braunschweig

Lucas Wagner

Rockwell Collins

Sam Procter

Carnegie Mellon Software Engineering Institute

Tucker Taft

AdaCore