5 citations · 5 across the 2 of their papers we have counts for
4 papers
Uninitialized Capabilities
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel +1
This technical report describes a new extension to capability machines. Capability machines are a special type of processors that include better security primitives at the hardware…
A categorical approach to secure compilation
Stelios Tsampas, Andreas Nuyts, Dominique Devriese +1
We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive l…
Gavial: Programming the web with multi-tier FRP
Bob Reynders, Frank Piessens, Dominique Devriese
Developing web applications requires dealing with their distributed nature and the natural asynchronicity of user input and network communication. For facilitating this, different…
On Modular and Fully-Abstract Compilation -- Technical Appendix
Marco Patrignani, Dominique Devriese, Frank Piessens
Secure compilation studies compilers that generate target-level components that are as secure as their source-level counterparts. Full abstraction is the most widely-proven propert…