Concepedia

Stéphanie Delaune

SD

38

Publications

1.5K

Citations

22

H-Index

2004

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

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

Laboratoire Lorrain de Recherche en Informatique et ses Applications

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

Stéphanie Delaune is an author at Centre National de la Recherche Scientifique specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceData SecurityCryptographyVerificationInformation SecurityData PrivacyAutomated Reasoning

Publications per year

2004–2021

38

Publications

38

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune, Steve Kremer, Mark Ryan · Journal of Computer Security · 2009 · 287 citations

Secure Multi-party Computation, Engineering, Smart Voting +15

A survey of algebraic properties used in cryptographic protocols

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade · Journal of Computer Security · 2006 · 149 citations

Coercion-Resistance and Receipt-Freeness in Electronic Voting

Stéphanie Delaune, Steve Kremer, Mark Ryan · 2006 · 141 citations

Voting Protocol, Engineering, Information Security +18

Formal Analysis of Protocols Based on TPM State Registers

Stéphanie Delaune, Steve Kremer, Mark Ryan et al. · 2011 · 62 citations · Full text

Cryptographic Primitive, Engineering, Information Security +21

A Method for Proving Observational Equivalence

Véronique Cortier, Stéphanie Delaune · 2009 · 61 citations

Cryptographic Primitive, Engineering, Verification +17

Rows per page

1–5 of 38