Pierre Wilke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2014–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ESORICS | Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code. | Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frdric Besson, Guillaume Hiet |
| 2021 | SAC | Preventing serialization vulnerabilities through transient field detection. | Pierre Graux, Jean-Franois Lalande, Valrie Viet Triem Tong, Pierre Wilke |
| 2019 | ESOP | Compiling Sandboxes: Formally Verified Software Fault Isolation. | Frdric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke |
| 2017 | ITP | CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics. | Frdric Besson, Sandrine Blazy, Pierre Wilke |
| 2015 | ITP | A Concrete Memory Model for CompCert. | Frdric Besson, Sandrine Blazy, Pierre Wilke |
| 2014 | APLAS | A Precise and Abstract Memory Model for C Using Symbolic Values. | Frdric Besson, Sandrine Blazy, Pierre Wilke |