PriSC
Sun 17 Jan 2021 OnlinePriSC 2021 with POPL 2021Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities like buffer overflows and control-flow hijacking. Even for safer languages, establishing security with respect to the language’s semantics does not prevent low-level attacks. All the abstraction and security guarantees of the source language may be lost when interac ... |
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United StatesPriSC 2020 with POPL 2020Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities like buffer overflows and control-flow hijacking. Even for safer languages, establishing security with respect to the language’s semantics does not prevent low-level attacks. All the abstraction and security guarantees of the source language may be lost when interac ... |
Sun 13 - Sat 19 January 2019 Cascais, PortugalPriSC 2019 with POPL 2019Workshop description Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities like buffer overflows and control-flow hijacking. Even for safer languages, establishing security with respect to the language’s semantics does not prevent low-level attacks. All the abstraction and security guarantees of the source language ar ... |
Mon 8 - Sat 13 January 2018 Los Angeles, California, United StatesPriSC 2018 with POPL 2018News: All the speakers have made their slides available Do not miss the chance to submit short talks on your cutting-edge research until 14 December 2017, 23:59 AoE . Workshop program is now available POPL/PriSC registration is open; early rate ends on 10 December 2017 List of presentations accepted at PriSC is now public Invited talk by Mathias Payer on Challenges For Compiler-backed Secur ... |
Dominique Devriese
Vrije Universiteit Brussel
Belgium
Deepak Garg
Max Planck Institute for Software Systems
Germany
Michael Hicks
University of Maryland
United States
Cătălin Hriţcu
MPI for Security and Privacy
Germany
Santosh Nagarakatte
Rutgers University, USA
Jonathan Protzenko
Microsoft Research, Redmond
United States
Tamara Rezk
Inria, France
Deian Stefan
University of California at San Diego, USA