Pierre-Évariste Dagand
Centre National de la Recherche Scientifique(FR)Université Paris Cité(FR)Sorbonne Paris Cité(FR)Institut de Recherche en Informatique Fondamentale(FR)
Publications by Year
Research Areas
Logic, programming, and type systems, Security and Verification in Computing, Software Engineering Research, Cryptographic Implementations and Security, Parallel Computing and Optimization Techniques
Most-Cited Works
- → The multikernel(2009)792 cited
- → Fully abstract compilation to JavaScript(2013)85 cited
- → The gentle art of levitation(2010)80 cited
- → A formally verified compiler for Lustre(2017)58 cited
- → Coq(2013)43 cited
- → Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations(2020)39 cited
- → Transporting functions across ornaments(2012)37 cited