Delphine Demange

Statistics

Publications

Citations

171

H-Index

Active since

2013

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Université de Rennes

Institut national de recherche en sciences et technologies du numérique

Harvard University Press

University of Pennsylvania

Delphine Demange is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2013–2020

Publications

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text

Computing, Computer Science, Computer Systems +17

Formal Verification of an SSA-Based Middle-End for CompCert

Gilles Barthe, Delphine Demange, David Pichardie · ACM Transactions on Programming Languages and Systems · 2014 · 35 citations · Full text

Computing, Computer Engineering, Computer Science +13

Plan B

Delphine Demange, Vincent Laporte, Lei Zhao et al. · 2013 · 27 citations

Computing, Computer Engineering, Computer Science +16

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · Journal of Computer Security · 2016 · 14 citations

Computing, Computer Science, Computer Systems +17

SAFE: A clean-slate architecture for secure systems

Silviu Chiricescu, André DeHon, Delphine Demange et al. · 2013 · 13 citations

Computing, Computer Science, Computer Systems +17

1–5 of 7