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 Fri Oct 31 03:15:39 2025 CET.