Alexandre Dang

According to our database¹, Alexandre Dang authored at least 4 papers between 2018 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

Secure Compilation for Memory Protection. (Compilation Sécurisée pour la Protection de la Mémoire).

[BibT_eX]

[DOI]

Alexandre Dang

PhD thesis, 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2019

Information-Flow Preservation in Compiler Optimisations.

[BibT_eX]

[DOI]

Frédéric Besson

Alexandre Dang

Thomas P. Jensen

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Securing Compilation Against Memory Probing.

[BibT_eX]

[DOI]

Frédéric Besson

Alexandre Dang

Thomas P. Jensen

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

Alexandre Dang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...