Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021
Online
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Supporting POPL
Student Volunteers
Code of Conduct
Registration
FAQ
Program
POPL Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Tracks
POPL 2021
POPL
Artifact Evaluation
Workshops and Co-located Events
TutorialFest
Student Research Competition
Student Volunteers
POPL Meetups
Co-hosted Conferences
CPP
CPP
CPP
Lightning Talks
PLMW
VMCAI
Workshops
CoqPL
LAFI
PEPM
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2021 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
TutorialFest
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
PLMW
Invited Speakers
Panelists
Organizing Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PriSC
Program Committee
Steering Committee
Co-hosted Symposia
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2021
(
series
) /
Online (How to POPL in 2021)
/
Room information: PriSC
Venue
Online (How to POPL in 2021)
Room name
PriSC
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+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-04: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-03: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+12: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 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
16:00 - 17:30
Secure compilers & cryptography
PriSC
at
PriSC
Chair(s):
Fraser Brown
Stanford University, USA
,
Aastha Mehta
MPI-SWS, Germany and University of British Columbia, Canada
16:00
18m
Talk
High-level high-speed high-assurance crypto
PriSC
Jonathan Cogan
Stanford
,
Fraser Brown
Stanford University, USA
,
Alex Ozdemir
Stanford
,
Riad S. Wahby
Stanford University, USA
Media Attached
16:18
18m
Talk
Cross-Architecture Testing for Compiler-Introduced Security Bugs
PriSC
Jianhao Xu
Nanjing University
,
Kangjie Lu
University of Minnesota
,
Bing Mao
Nanjing University
Media Attached
File Attached
16:36
18m
Talk
High-Assurance Cryptography in the Spectre Era
PriSC
Gilles Barthe
MPI-SP, Germany / IMDEA Software Institute, Spain
,
Sunjay Cauligi
University of California at San Diego, USA
,
Benjamin Gregoire
INRIA
,
Adrien Koutsos
INRIA Paris
,
Kevin Liao
Max Planck Institute for Security and Privacy
,
Tiago Oliveira
University of Porto (FCUP) and INESC TEC
,
Swarn Priya
Purdue University
,
Tamara Rezk
Inria, France
,
Peter Schwabe
Max Planck Institute for Security and Privacy
Media Attached
16:54
18m
Talk
Compilation as Multi-Language Semantics
PriSC
William J. Bowman
University of British Columbia
Pre-print
Media Attached
17:12
18m
Talk
Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
PriSC
Coşku Acay
Cornell University
,
Rolph Recto
,
Joshua Gancher
Cornell University
,
Andrew Myers
Cornell University
,
Elaine Shi
Cornell University
Media Attached
18:00 - 19:00
Invited talk
PriSC
at
PriSC
Chair(s):
Deian Stefan
University of California at San Diego, USA
18:00
60m
Keynote
Frontiers in Secure Compilation – an Industrial Perspective (invited talk)
PriSC
Hugo Vincent
Arm Research
19:00 - 20:30
Formal analysis & proof techniques
PriSC
at
PriSC
Chair(s):
Marco Patrignani
Stanford University, USA / CISPA, Germany
,
Jonathan Protzenko
Microsoft Research, Redmond
19:00
18m
Talk
Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs
PriSC
Jérémy Thibault
MPI-SP
,
Cătălin Hriţcu
MPI-SP
Pre-print
Media Attached
19:18
18m
Talk
Explicit Leakage: Handling Side-Channel Behavior in Program Rewriting and Analysis
PriSC
Marc Gourjon
Hamburg University of Technology and NXP Semiconductors Germany GmbH
Media Attached
19:36
18m
Talk
Secure Optimization Through Opaque Observations
PriSC
Son Tuan Vu
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
,
Albert Cohen
Google
,
Karine Heydemann
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
,
Arnaud de Grandmaison
ARM
,
Christophe Guillon
STMicroelectronics
Pre-print
Media Attached
File Attached
19:54
18m
Talk
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
PriSC
Carmine Abate
Max Planck Institute for Security and Privacy, Bochum, Germany
,
Matteo Busi
Università di Pisa - Dipartimento di Informatica
Pre-print
Media Attached
File Attached
20:12
18m
Talk
Toward Complete Stack Safety for Capability Machines
PriSC
Aina Linn Georges
Aarhus University
,
Armaël Guéneau
Aarhus University
,
Alix Trieu
Aarhus University
,
Lars Birkedal
Aarhus University
Media Attached
File Attached
21:00 - 21:30
Short talks
PriSC
at
PriSC
Chair(s):
Deian Stefan
University of California at San Diego, USA
21:00
15m
Talk
A Categorical Approach to Secure Compilation (and others things) (short talk)
PriSC
Stelios Tsampas
,
Andreas Nuyts
KU Leuven, Belgium
,
Dominique Devriese
Vrije Universiteit Brussel
,
Frank Piessens
KU Leuven
21:15
15m
Talk
Contract-aware Secure Compilation (short talk)
PriSC
Marco Guarnieri
ETH Zurich, Switzerland
,
Marco Patrignani
Stanford University, USA / CISPA, Germany
Pre-print
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
PriSC
PriSC
Secure compilers & cryptography
PriSC
Invited talk
PriSC
Formal analysis & proof techniques
PriSC
Short talks
Sun 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
PriSC
PriSC
High-level high-speed high-assurance crypto
16:00 - 16:18
PriSC
Cross-Architecture Testing for Compiler-Introduced Security Bugs
16:18 - 16:36
PriSC
High-Assurance Cryptography in the Spectre Era
16:36 - 16:54
PriSC
Compilation as Multi-Language Semantics
16:54 - 17:12
PriSC
Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
17:12 - 17:30
PriSC
Frontiers in Secure Compilation – an Industrial Perspective (invited talk)
18:00 - 19:00
PriSC
Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs
19:00 - 19:18
PriSC
Explicit Leakage: Handling Side-Channel Behavior in Program Rewriting a ...
19:18 - 19:36
PriSC
Secure Optimization Through Opaque Observations
19:36 - 19:54
PriSC
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
19:54 - 20:12
PriSC
Toward Complete Stack Safety for Capability Machines
20:12 - 20:30
PriSC
A Categorical Approach to Secure Compilation (and others things) (short ...
21:00 - 21:15
PriSC
Contract-aware Secure Compilation (short talk)
21:15 - 21:30
x
Tue 10 Dec 16:01