OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Track/Call
Organization
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 2019 (
series
) /
Hotel Cascais Miragem
/
Room information: Sala VI
Venue
Hotel Cascais Miragem
Room name
Sala VI
Floor
0
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) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07: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-06:00) Central Time (US & Canada)
(GMT-05: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
Sun 13 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
Session 1
PriSC
at
Sala VI
Chair(s):
Deepak Garg
Max Planck Institute for Software Systems
09:00
60m
Talk
PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography
PriSC
Benjamin Gregoire
INRIA
File Attached
10:00
30m
Talk
Towards Secure Compilation of Power Side-Channel Countermeasures
PriSC
Marc Gourjon
Hamburg University of Technology and NXP Semiconductors Germany GmbH
File Attached
11:00 - 12:30
Session 2
PriSC
at
Sala VI
Chair(s):
Dominique Devriese
Vrije Universiteit Brussel, Belgium
11:00
30m
Talk
Trestle: Bridging the Performance and Safety Divide in WebAssembly
PriSC
Craig Disselkoen
University of California San Diego
,
Tal Garfinkel
Stanford University
,
Deian Stefan
University of California San Diego
,
Conrad Watt
University of Cambridge
File Attached
11:30
30m
Talk
Protecting C++ Applications Using CHERI
PriSC
Khilan Gudka
University of Cambridge
,
Alexander Richardson
University of Cambridge
,
Robert N. M. Watson
University of Cambridge
File Attached
12:00
30m
Talk
Secure Linking in the CheriBSD Operating System
PriSC
Alexander Richardson
University of Cambridge
,
Robert N. M. Watson
University of Cambridge
File Attached
14:00 - 15:30
Session 3
PriSC
at
Sala VI
Chair(s):
Chung-Kil Hur
Seoul National University
14:00
30m
Talk
Translation Validation for Security Properties
PriSC
Matteo Busi
Università di Pisa - Dipartimento di Informatica
,
Pierpaolo Degano
Università di Pisa - Dipartimento di Informatica
,
Letterio Galletta
IMT School for Advanced Studies
Pre-print
File Attached
14:30
30m
Talk
Security Witnesses for Compiler Transformations
PriSC
Kedar Namjoshi
Bell Labs, Nokia
,
Lucas M. Tabajara
Rice University
File Attached
15:00
30m
Talk
A Data Layout Description Language for Cogent
PriSC
Zilin Chen
Data61, CSIRO and UNSW
,
Matthew Di Meglio
UNSW
,
Liam O'Connor
UNSW
,
Partha Susarla
Data61, CSIRO
,
Christine Rizkallah
UNSW
,
Gabriele Keller
Utrecht University
16:00 - 18:00
Session 4
PriSC
at
Sala VI
Chair(s):
David Naumann
Stevens Institute of Technology
,
Aslan Askarov
Aarhus University
16:00
30m
Other
Short Talks Session
PriSC
16:30
30m
Talk
Modular Security Guarantees for Low-Level Languages with Stack Traversal
PriSC
Mathias Vorreiter Pedersen
Aarhus University
,
Aslan Askarov
Aarhus University
File Attached
17:00
30m
Talk
Confidentiality-Preserving Refinement
PriSC
Roberto Guanciale
KTH
,
Christoph Baumann
KTH
,
Mads Dam
KTH
,
Hamed Nemati
CISPA
File Attached
17:30
30m
Talk
(Un)Encrypted Computing and Indistinguishability Obfuscation
PriSC
Peter Breuer
Hecusys LLC
,
Jonathan Bowen
London South Bank University
File Attached
Sun 13 Jan
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala VI
PriSC
Session 1
PriSC
Session 2
PriSC
Session 3
PriSC
Session 4
Sun 13 Jan
Displayed time zone:
Belfast
change
Room
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
17:00
15
30
45
Sala VI
PriSC
PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and ...
09:00 - 10:00
PriSC
Towards Secure Compilation of Power Side-Channel Countermeasures
10:00 - 10:30
PriSC
Trestle: Bridging the Performance and Safety Divide in WebAssembly
11:00 - 11:30
PriSC
Protecting C++ Applications Using CHERI
11:30 - 12:00
PriSC
Secure Linking in the CheriBSD Operating System
12:00 - 12:30
PriSC
Translation Validation for Security Properties
14:00 - 14:30
PriSC
Security Witnesses for Compiler Transformations
14:30 - 15:00
PriSC
A Data Layout Description Language for Cogent
15:00 - 15:30
PriSC
Short Talks Session
16:00 - 16:30
PriSC
Modular Security Guarantees for Low-Level Languages with Stack Traversal
16:30 - 17:00
PriSC
Confidentiality-Preserving Refinement
17:00 - 17:30
PriSC
(Un)Encrypted Computing and Indistinguishability Obfuscation
17:30 - 18:00
x
Sat 23 Nov 22:12