S. Delaune

发表

L. Hirschi, S. Delaune, 2013 .
S. Kremer, Myrto Arapinis, S. Delaune, 2022 .
France T́elécom, S. Delaune, D. E. Cachan, 2006 .
Vincent Cheval, Stéphanie Delaune, Myrto Arapinis, 2017 .
V. Cortier, S. Delaune, Mathilde Arnaud, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
L. Hirschi, S. Delaune, David Baelde, 2018 .
S. Kremer, S. Delaune, 2014 .
S. Delaune, Alexandre Debant, Cyrille Wiedling, 2022, ACM Trans. Priv. Secur..
S. Delaune, Joseph Lallemand, 2022, ESORICS.
S. Kremer, S. Delaune, David Baelde, 2016 .
S. Delaune, David Baelde, Adrien Koutsos, 2022 .
S. Delaune, David Baelde, Inria Paris, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Céline Chevalier, S. Kremer, S. Delaune, 2013, Formal Methods in System Design.
Véronique Cortier, Pascal Lafourcade, Stéphanie Delaune, 2006, J. Comput. Secur..
Stéphanie Delaune, Florent Jacquemard, S. Delaune, 2005, Journal of Automated Reasoning.
Stéphanie Delaune, Florent Jacquemard, S. Delaune, 2004, CCS '04.
Stéphanie Delaune, Florent Jacquemard, S. Delaune, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Marine Minier, Stéphanie Delaune, Charles Prud'homme, 2021, ACNS.
Marine Minier, Stéphanie Delaune, Charles Prud'homme, 2020, IACR Cryptol. ePrint Arch..
Graham Steel, Stéphanie Delaune, Morten Dahl, 2010, ESORICS.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2009, J. Comput. Secur..
David Baelde, Stéphanie Delaune, Solène Moreau, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
David Baelde, Stéphanie Delaune, Lucca Hirschi, 2017, J. Comput. Secur..
Stéphanie Delaune, Patrick Derbez, Mathieu Vavrille, 2020, IACR Trans. Symmetric Cryptol..
Véronique Cortier, Stéphanie Delaune, Jannik Dreier, 2020, ESORICS.
Vincent Cheval, Véronique Cortier, Stéphanie Delaune, 2013, Theor. Comput. Sci..
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2011, CCS '11.
Stéphanie Delaune, Hubert Comon-Lundh, Hubert Comon-Lundh, 2005, RTA.
Véronique Cortier, Stéphanie Delaune, Mathieu Baudet, 2009, TOCL.
France T́elécom, S. Delaune, D. E. Cachan, 2006 .
Graham Steel, Stéphanie Delaune, Mark Ryan, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
Graham Steel, Stéphanie Delaune, Mark Ryan, 2010, Formal Aspects in Security and Trust.
Véronique Cortier, Stéphanie Delaune, Rémy Chrétien, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
S. Kremer, S. Delaune, Stefan Ciobaca, 2009, Journal of Automated Reasoning.
Stéphanie Delaune, Steve Kremer, Daniel Pasaila, 2012, IJCAR.
V. Cortier, S. Delaune, Antoine Dallon, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan, 2020, Journal of Automated Reasoning.
Tom Chothia, Stéphanie Delaune, Ioana Boureanu, 2020, CCS.
Stéphanie Delaune, Cyrille Wiedling, Alexandre Debant, 2019, ESORICS.
Véronique Cortier, Antoine Dallon, Stéphanie Delaune, 2019, ACM Trans. Comput. Log..
Stéphanie Delaune, Alexandre Debant, S. Delaune, 2019, POST.
Véronique Cortier, Antoine Dallon, Stéphanie Delaune, 2018, ESORICS.
David Baelde, Stéphanie Delaune, Lucca Hirschi, 2018, ESORICS.
Stéphanie Delaune, Cyrille Wiedling, Alexandre Debant, 2018 .
Steve Kremer, Stephanie Delaune, Ludovic Robin, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
David Baelde, Stéphanie Delaune, Steve Kremer, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2017, Inf. Comput..
Véronique Cortier, Antoine Dallon, Stéphanie Delaune, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
David Baelde, Stéphanie Delaune, Lucca Hirschi, 2017, Log. Methods Comput. Sci..
David Baelde, Stéphanie Delaune, Lucca Hirschi, 2016, 2016 IEEE Symposium on Security and Privacy (SP).
Véronique Cortier, Antoine Dallon, Stéphanie Delaune, 2016, POST.
Véronique Cortier, Stéphanie Delaune, Rémy Chrétien, 2015, ESORICS.
David Baelde, Stéphanie Delaune, Lucca Hirschi, 2015, CONCUR.
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2014, Inf. Comput..
Mark Ryan, Vincent Cheval, Stéphanie Delaune, 2014, TGC.
Véronique Cortier, Stéphanie Delaune, Rémy Chrétien, 2014, CONCUR.
Vincent Cheval, Stéphanie Delaune, Myrto Arapinis, 2014, POST.
David Baelde, Stéphanie Delaune, Lucca Hirschi, 2014, POST.
Stéphanie Delaune, Rémy Chrétien, S. Delaune, 2013, POST.
Vincent Cheval, Stéphanie Delaune, Myrto Arapinis, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Véronique Cortier, Stéphanie Delaune, V. Cortier, 2012, Journal of Automated Reasoning.
Véronique Cortier, Stéphanie Delaune, Jan Degrieck, 2012, POST.
Stéphanie Delaune, Steve Kremer, Céline Chevalier, 2011, FSTTCS.
Graham Steel, Stéphanie Delaune, Morten Dahl, 2011, TOSCA.
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2010, IJCAR.
Véronique Cortier, Stéphanie Delaune, V. Cortier, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Rohit Chadha, Stéphanie Delaune, Steve Kremer, 2009, FMOODS/FORTE.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Mark Ryan, Ben Smyth, Stéphanie Delaune, 2008, IFIPTM.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2007, J. Comput. Secur..
Véronique Cortier, Stéphanie Delaune, V. Cortier, 2007, LPAR.
Véronique Cortier, Stéphanie Delaune, Mathilde Arnaud, 2007, FroCoS.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Stéphanie Delaune, Cyrille Wiedling, Alexandre Debant, 2018, FSTTCS.
Stéphanie Delaune, Hubert Comon-Lundh, Hubert Comon-Lundh, 2012, Software Safety and Security.
Stéphanie Delaune, Hubert Comon-Lundh, Jonathan K. Millen, 2011, Formal Models and Techniques for Analyzing Security Protocols.
Stéphanie Delaune, Steve Kremer, Olivier Pereira, 2009, FSTTCS.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2005 .
Stéphanie Delaune, S. Delaune, 2006, Inf. Process. Lett..
S. Delaune, D. Lugiez, P. Lafourcade, 2008, Inf. Comput..
Véronique Cortier, Stéphanie Delaune, Mathilde Arnaud, 2011, CADE.
S. Delaune, David Baelde, Adrien Koutsos, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
V. Cortier, S. Delaune, P. Lafourcade, 2006, Journal of computing and security.
S. Kremer, S. Delaune, David Baelde, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
S. Delaune, Steve Kremer, Stefan Ciobaca, 2009, Journal of Automated Reasoning.
M. Baudet, V. Cortier, S. Delaune, 2009, TOCL.
Stéphanie Delaune, Hai Lin, Christopher Lynch, 2007, LPAR.
Stéphanie Delaune, S. Delaune, 2006, Theor. Comput. Sci..
Pascal Lafourcade, Stéphanie Delaune, Denis Lugiez, 2006, ICALP.
S. Kremer, S. Delaune, David Baelde, 2015 .
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2007, Rewriting, Computation and Proof.
R. Treinen, S. Delaune, P. Lafourcade, 2022 .
S. Delaune, Charles Prud’homme, Arthur Gontier, 2022, INDOCRYPT.