Pierre-Évariste Dagand

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 16

Top Venues

CoRR

J. Funct. Program.

IACR Cryptol. ePrint Arch.

PLDI

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Pierre Nigron, Pierre-Évariste Dagand
Reaching for the Star: Tale of a Monad in Coq. ITP (2021)
Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. IACR Cryptol. ePrint Arch. 2020 (2020)
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont
Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks. IACR Cryptol. ePrint Arch. 2020 (2020)
Sonia Belaïd, Pierre-Évariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. EUROCRYPT (3) (2020)
Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset
Intermittent Computing with Peripherals, Formally Verified. LCTES (2020)
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont
Custom Instruction Support for Modular Defense Against Side-Channel and Fault Attacks. COSADE (2020)
Pantea Kiaei, Darius Mercadier, Pierre-Évariste Dagand, Karine Heydemann, Patrick Schaumont
SKIVA: Flexible and Modular Side-channel and Fault Countermeasures. IACR Cryptol. ePrint Arch. 2019 (2019)
Darius Mercadier, Pierre-Évariste Dagand
Usuba: high-throughput and constant-time ciphers, by construction. PLDI (2019)
Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer
Dependent Pearl: Normalization by realizability. CoRR (2019)
Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller
Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP (2018)
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
Foundations of dependent interoperability. J. Funct. Program. 28 (2018)
Victor Cacciari Miraldo, Pierre-Évariste Dagand, Wouter Swierstra
Type-directed diffing of structured data. TyDe@ICFP (2017)
Pierre-Évariste Dagand
The essence of ornaments. J. Funct. Program. 27 (2017)
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
A formally verified compiler for Lustre. PLDI (2017)
Arthur Blot, Pierre-Évariste Dagand, Julia Lawall
From Sets to Bits in Coq. FLOPS (2016)
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
Partial type equivalences for verified dependent interoperability. ICFP (2016)
Pierre-Évariste Dagand, Conor McBride
Transporting functions across ornaments. J. Funct. Program. 24 (2-3) (2014)
Thomas Williams, Pierre-Évariste Dagand, Didier Rémy
Ornaments in practice. WGP@ICFP (2014)
Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand
Coq: the world's best macro assembler? PPDP (2013)
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits
Fully abstract compilation to JavaScript. POPL (2013)
Pierre-Évariste Dagand, Conor McBride
A Categorical Treatment of Ornaments. LICS (2013)
Pierre-Évariste Dagand, Conor McBride
Elaborating Inductive Definitions CoRR (2012)
Pierre-Évariste Dagand, Conor McBride
Transporting Functions across Ornaments CoRR (2012)
Pierre-Évariste Dagand, Conor McBride
A Categorical Treatment of Ornaments CoRR (2012)
Pierre-Évariste Dagand, Conor McBride
Transporting functions across ornaments. ICFP (2012)
James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris
The gentle art of levitation. ICFP (2010)
Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak
Opis: reliable distributed systems in OCaml. TLDI (2009)
Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania
The multikernel: a new OS architecture for scalable multicore systems. SOSP (2009)
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe
Filet-o-Fish: practical and dependable domain-specific languages for OS development. PLOS@SOSP (2009)
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe
Filet-o-fish: practical and dependable domain-specific languages for OS development. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)

Pierre-Évariste Dagand.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre-Évariste Dagand