TPSA 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
co-located with
POPL 2025
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Program
TPSA Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Track/Call
Organization
TPSA 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2025
(
series
) /
TPSA 2025 (
series
) /
Curtis Hotel Denver
/
Room information: Room 5
Venue
Curtis Hotel Denver
Room name
Room 5
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Mountain Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)
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-06: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+03: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
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
09:00 - 10:30
Session 1
PriSC
at
Room 5
09:00
4m
Day opening
Opening Remarks
PriSC
Marco Patrignani
University of Trento
,
Marco Vassena
Utrecht University
09:05
59m
Keynote
Keynote: Bringing Verified Cryptographic Protocols to Practice
PriSC
Bryan Parno
Carnegie Mellon University
10:05
25m
Talk
A Semantic Approach to Robust Property Preservation
PriSC
Niklas Mück
MPI-SWS
,
Michael Sammler
Institute of Science and Technology Austria
,
Aina Linn Georges
Max Planck Institute for Software Systems (MPI-SWS)
,
Derek Dreyer
MPI-SWS
,
Deepak Garg
MPI-SWS
11:00 - 12:30
Session 2
PriSC
at
Room 5
11:00
25m
Talk
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
PriSC
Tarakaram Gollamudi
None
,
Anitha Gollamudi
University of Massachusetts Lowell
,
Joshua Gancher
Northeastern University
11:25
24m
Talk
Leveraging Duality for Programming with zkSNARKs
PriSC
Rahul Krishnan
University of Wisconsin-Madison
,
Ethan Cecchetti
University of Wisconsin-Madison
11:50
24m
Talk
Preservation of Speculative Constant-time by Compilation
PriSC
Santiago Arranz Olmos
Max Planck Institute for Security and Privacy
,
Gilles Barthe
MPI-SP; IMDEA Software Institute
,
Lionel Blatter
Max Planck Institute for Security and Privacy
,
Benjamin Gregoire
INRIA
,
Vincent Laporte
Inria
12:15
15m
Talk
Lightning talks
PriSC
14:00 - 15:30
Session 3
PriSC
at
Room 5
14:00
24m
Talk
Auditing Rust Crates Effectively
PriSC
Lydia Zoghbi
University of California, San Diego
,
David Thien
University of California, San Diego
,
Ranjit Jhala
UCSD
,
Deian Stefan
University of California at San Diego
,
Caleb Stanford
University of California, Davis
14:25
24m
Talk
Automatic Inference of Enclave Placement in LLVM Compiler
PriSC
Wesley B Nuzzo
University of Massachusetts, Lowell (UML)
,
Mohamed Elwakil
U.S. Coast Guard Academy
,
Anitha Gollamudi
University of Massachusetts Lowell
14:50
24m
Talk
Counterexamples in Safe Rust
PriSC
Muhammad Hassnain
University of California, Davis
,
Caleb Stanford
University of California, Davis
15:15
15m
Talk
Lightning talks
PriSC
16:00 - 17:30
Session 4
PriSC
at
Room 5
16:00
24m
Talk
BeePL: Correct-by-compilation kernel extensions
PriSC
Swarn Priya
Virginia Tech
,
Tim Steenvoorden
Open Universiteit
,
Connor Sughrue
Virginia Tech
,
Frédéric Besson
Inria, Rennes
,
Freek Verbeek
Open Universiteit & Virginia Tech
16:25
24m
Talk
Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations
PriSC
Julian Rosemann
Saarland University, Saarland Informatics Campus
,
Sebastian Hack
Saarland University, Saarland Informatics Campus
,
Deepak Garg
MPI-SWS
16:50
24m
Talk
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
PriSC
Sören van der Wall
PhD Student
,
Roland Meyer
TU Braunschweig
17:15
15m
Day closing
Closing Remarks
PriSC
Marco Patrignani
University of Trento
,
Marco Vassena
Utrecht University
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
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
Room 5
PriSC
Session 1
PriSC
Session 2
PriSC
Session 3
PriSC
Session 4
Tue 21 Jan
Displayed time zone:
Mountain Time (US & Canada)
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
Room 5
PLMW @ POPL
PLMW @ POPL
PLMW @ POPL
PLMW @ POPL
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
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
Room 5
PriSC
Opening Remarks
09:00 - 09:04
PriSC
Keynote: Bringing Verified Cryptographic Protocols to Practice
09:05 - 10:04
PriSC
A Semantic Approach to Robust Property Preservation
10:05 - 10:30
PriSC
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
11:00 - 11:25
PriSC
Leveraging Duality for Programming with zkSNARKs
11:25 - 11:49
PriSC
Preservation of Speculative Constant-time by Compilation
11:50 - 12:14
PriSC
Lightning talks
12:15 - 12:30
PriSC
Auditing Rust Crates Effectively
14:00 - 14:24
PriSC
Automatic Inference of Enclave Placement in LLVM Compiler
14:25 - 14:49
PriSC
Counterexamples in Safe Rust
14:50 - 15:14
PriSC
Lightning talks
15:15 - 15:30
PriSC
BeePL: Correct-by-compilation kernel extensions
16:00 - 16:24
PriSC
Non-Interference Preserving and Optimising Compilation with Hyperproper ...
16:25 - 16:49
PriSC
SNIP: Speculative Execution and Non-Interference Preservation for Compi ...
16:50 - 17:14
PriSC
Closing Remarks
17:15 - 17:30
x
Wed 18 Dec 23:11