Login / Signup
Alexandre Dang
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 3
Top Topics
Fault Isolation
Memory Usage
Information Flows
Multi Threaded
Top Venues
CSF
PLAS@CCS
ESOP
</>
Publications
</>
Frédéric Besson
,
Sandrine Blazy
,
Alexandre Dang
,
Thomas P. Jensen
,
Pierre Wilke
Compiling Sandboxes: Formally Verified Software Fault Isolation.
ESOP
(2019)
Frédéric Besson
,
Alexandre Dang
,
Thomas P. Jensen
Information-Flow Preservation in Compiler Optimisations.
CSF
(2019)
Frédéric Besson
,
Alexandre Dang
,
Thomas P. Jensen
Securing Compilation Against Memory Probing.
PLAS@CCS
(2018)