
Registered user since Mon 12 Sep 2022
Name:Thibault Dardinier
Country:Switzerland
Affiliation:ETH Zurich
Personal website:https://dardinier.me
Contributions
PLDI 2023 | CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile