Seuraa
Stéphanie Delaune
Stéphanie Delaune
Univ Rennes, CNRS, IRISA
Vahvistettu sähköpostiosoite verkkotunnuksessa irisa.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Verifying Privacy-type Properties of Electronic Voting Protocols
S Delaune, S Kremer, M Ryan
Journal of Computer Security, 2008
4472008
Coercion-resistance and receipt-freeness in electronic voting
S Delaune, S Kremer, M Ryan
19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-42, 2006
2452006
A survey of algebraic properties used in cryptographic protocols
V Cortier, S Delaune, P Lafourcade
Journal of Computer Security 14 (1), 1-43, 2006
2412006
The finite variant property: How to get rid of some algebraic properties
H Comon-Lundh, S Delaune
International Conference on Rewriting Techniques and Applications, 294-307, 2005
2342005
A method for proving observational equivalence
V Cortier, S Delaune
2009 22nd IEEE Computer Security Foundations Symposium, 266-276, 2009
962009
Trace equivalence decision: Negative tests and non-determinism
V Cheval, H Comon-Lundh, S Delaune
Proceedings of the 18th ACM conference on Computer and communications …, 2011
942011
Automatic verification of privacy properties in the applied pi calculus
S Delaune, M Ryan, B Smyth
IFIP International Conference on Trust Management, 263-278, 2008
942008
Safely composing security protocols
V Cortier, S Delaune
Formal Methods in System Design 34, 1-36, 2009
872009
Deciding equivalence-based properties using constraint solving
V Cheval, V Cortier, S Delaune
Theoretical Computer Science 492, 1-39, 2013
822013
YAPA: A generic tool for computing intruder knowledge
M Baudet, V Cortier, S Delaune
ACM Transactions On Computational Logic (TOCL) 14 (1), 1-32, 2013
782013
Formal analysis of PKCS# 11
S Delaune, S Kremer, G Steel
2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008
782008
Computing knowledge in security protocols under convergent equational theories
Ş Ciobâcă, S Delaune, S Kremer
Journal of Automated Reasoning 48 (2), 219-262, 2012
772012
Formal analysis of protocols based on TPM state registers
S Delaune, S Kremer, MD Ryan, G Steel
2011 IEEE 24th Computer Security Foundations Symposium, 66-80, 2011
762011
A formal analysis of authentication in the TPM
S Delaune, S Kremer, MD Ryan, G Steel
International Workshop on Formal Aspects in Security and Trust, 111-125, 2010
662010
Verifying privacy-type properties of electronic voting protocols: A taster
S Delaune, S Kremer, M Ryan
Towards Trustworthy Elections: New Directions in Electronic Voting, 289-309, 2010
652010
Formal analysis of privacy for vehicular mix-zones
M Dahl, S Delaune, G Steel
Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010
582010
A theory of dictionary attacks and its complexity
S Delaune, F Jacquemard
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 2-15, 2004
562004
A method for verifying privacy-type properties: the unbounded case
L Hirschi, D Baelde, S Delaune
2016 IEEE Symposium on Security and Privacy (SP), 564-581, 2016
552016
Epistemic logic for the applied pi calculus
R Chadha, S Delaune, S Kremer
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
532009
Catching the fastest boomerangs: Application to SKINNY
S Delaune, P Derbez, M Vavrille
IACR Transactions on Symmetric Cryptology, 104-129, 2020
522020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20