Number of items: 2.
Conference or Workshop Item (A Paper)
El-Korashy, Akram and Tsampas, Stelios and Patrignani, Marco and Devriese, Dominique and Garg, Deepak and Piessens, Frank
(2021)
CapablePtrs: Securely Compiling Partial Programs
Using the Pointers-as-Capabilities Principle.
Devriese, Dominique and Patrignani, Marco and Piessens, Frank
(2017)
Parametricity Versus the Universal Type.
This list was generated on Mon Dec 2 20:17:31 2024 CET.