The purpose of this workshop is to bring together researchers in the areas of Programming Languages and Cryptography, to explore how programming languages can make cryptography more secure and how cryptography can be used as part of secure programming languages.
Date: Sunday, May 22, 2022 (before the Oakland conference)
Location:
SRI International, Menlo Park, California (see information below)
| Speaker | Talk title |
|---|---|
| Josh Acay (Cornell) | Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs |
| Fraser Brown (CMU) | Infrastructure for Building Compilers for Crypto |
| Karim Eldefrawy (SRI) | Computer-aided Verification and Automated Synthesis of Cryptographic Protocols |
| Ana Milanova (RPI) | Compilation and Backend-Independent Optimization for MPC |
| Andrew Miller (UIUC) | Ideal Functionalities for Smart Contract Programmers |
| Nikhil Swamy (Microsoft Research) | Proof-oriented Programming for Cryptographic Applications |
| Joshua Gancher | End-to-End Verification for Security Protocols in F* |
| Priyanka Mondal | Applying consensus and replication securely with FLAQR |
| Abhiram Kothapalli | Monadic Composition of Argument Systems |
| Alexander Viand | Compilers for Fully Homomorphic Encryption (FHE) |
| Ke Wu | log∗-Round Game-Theoretically-Fair Leader Election |
| Time | Event |
|---|---|
| 9:45–10am | Welcome |
| 10–11am | Swamy; Miller (chair: Myers) |
| 11–11:15am | Break |
| 11:15–12:15pm | Acay; Brown (chair: Eldefrawy) |
| 12:15–1:30pm | Lunch |
| 1:30–2:30pm | Eldefrawy; Milanova (chair: Shi) |
| 2:30–2:45pm | Break |
| 2:45–3:45pm | Short talks |
| 3:45–4:00pm | Wrap-up discussion |
To attend, please RSVP using this google form. Vaccination is required for attendance. Due to Covid guidelines, we have limited capacity, and we will admit attendees on a first-come-first-serve basis. There is no registration fee.
The workshop will be held at SRI International in Menlo Park, California.
Please review the COVID policy (see SRI-Visitor COVID-19 Questionnaire) and be prepared. The current SRI policy is no masks ATM. This might change by the time the workshop is held. It also never hurts to make sure you have a copy of your COVID vaccination card. Some places in the area (not SRI) require vaccination cards.
This workshop was supported by NSF grant 1704788 and by SRI International. It does not necessarily represent the opinions of any of the supporters.