Search - Archive ouverte HAL Access content directly

Filter your results

66 Results
Image document

Modelling and analyzing security protocols in cryptographic process calculi

Steve Kremer
Computer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
Habilitation à diriger des recherches tel-00636769v1
Image document

Formal analysis of protocols based on TPM state registers

Stéphanie Delaune , Steve Kremer , Ryan D. Mark , Graham Steel
24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. ⟨10.1109/CSF.2011.12⟩
Conference papers inria-00636747v1
Image document

The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols

Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States
Conference papers hal-02961617v1
Image document

Universally Composable Key-Management

Steve Kremer , Robert Künnemann , Graham Steel
18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. ⟨10.1007/978-3-642-40203-6_19⟩
Conference papers hal-00878632v1
Image document

Automated Verification of Equivalence Properties of Cryptographic Protocols

Rohit Chadha , Vincent Cheval , Stefan Ciobaca , Steve Kremer
[Technical Report] Inria. 2012
Reports inria-00632564v4
Image document

Type-Based Verification of Electronic Voting Protocols

Véronique Cortier , Fabienne Eigner , Steve Kremer , Matteo Maffei , Cyrille Wiedling
4th Conference on Principles of Security and Trust (POST), Apr 2015, London, United Kingdom
Conference papers hal-01103545v1

Computationally Sound Implementations of Equational Theories against Passive Adversaries

Mathieu Baudet , Véronique Cortier , Steve Kremer
32nd International Colloquium on Automata, Languages and Programming - ICALP 2005, Jul 2005, Lisbonne/Portugal, pp.652-663, ⟨10.1007/11523468⟩
Conference papers inria-00000555v1
Image document

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier , Steve Kremer , Bogdan Warinschi
[Research Report] RR-6912, INRIA. 2009, pp.42
Reports inria-00379776v1
Image document

Automated analysis of security protocols with global state

Steve Kremer , Robert Künnemann
[Research Report] arXiv. 2014, pp.56
Reports hal-00955869v2
Image document

An Extensive Formal Analysis of Multi-factor Authentication Protocols

Charlie Jacomme , Steve Kremer
ACM Transactions on Privacy and Security, 2021, 24 (2), pp.1-34. ⟨10.1145/3440712⟩
Journal articles hal-03468848v1
Image document

On communication models when verifying equivalence properties

Kushal Babel , Vincent Cheval , Steve Kremer
6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden
Conference papers hal-01450898v1
Image document

Automated analysis of equivalence properties for security protocols using else branches (extended version)

Ivan Gazeau , Steve Kremer
[Research Report] INRIA Nancy. 2017, pp.29
Reports hal-01547017v1
Image document

Symbolic verification of privacy-type properties for security protocols with XOR (extended version)

David Baelde , Stéphanie Delaune , Ivan Gazeau , Steve Kremer
[Research Report] Inria Nancy - Grand Est. 2017, pp.29
Reports hal-01533694v1
Image document

Universally Composable Key-Management

Steve Kremer , Robert Kunnemann , Graham Steel
2012
Preprints, Working Papers, ... hal-00686535v1
Image document

On the semantics of communications when verifying equivalence properties

Kushal Babel , Vincent Cheval , Steve Kremer
Journal of Computer Security, 2020, 28 (1), pp.71-127. ⟨10.3233/JCS-191366⟩
Journal articles hal-02446910v1
Image document

Symbolic verification of privacy-type properties for security protocols with XOR

David Baelde , Stéphanie Delaune , Ivan Gazeau , Steve Kremer
CSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15
Conference papers hal-01533708v1

Principles of Security and Trust

Martin Abadi , Steve Kremer
8414, Springer, 2014, Lecture Notes in Computer Science, 978-3-642-54791-1. ⟨10.1007/978-3-642-54792-8⟩
Proceedings hal-01090879v1
Image document

Computing knowledge in security protocols under convergent equational theories

Stefan Ciobaca , Stéphanie Delaune , Steve Kremer
Journal of Automated Reasoning, 2012, 48 (2), pp.219-262. ⟨10.1007/s10817-010-9197-7⟩
Journal articles inria-00636794v1
Image document

Automated analysis of equivalence properties for security protocols using else branches

Ivan Gazeau , Steve Kremer
22nd European Symposium on Research in Computer Security (ESORICS'17), 2017, Oslo, Norway
Conference papers hal-01566035v1
Image document

Exploiting symmetries when proving equivalence properties for security protocols (Technical report)

Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
[Technical Report] INRIA Nancy Grand-Est. 2020
Reports hal-02267866v3
Image document

Cybersécurité

Steve Kremer , Ludovic Mé , Didier Rémy , Vincent Roca
Inria, 3, pp.18, 2019, Inria white book
Books hal-02414281v1

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.

Véronique Cortier , Steve Kremer , Bogdan Warinschi
Journal of Automated Reasoning, 2011, 46 (3-4), pp.225-259. ⟨10.1007/s10817-010-9187-9⟩
Journal articles istex inria-00525776v1
Image document

Automated Analysis of Security Protocols with Global State

Steve Kremer , Robert Künnemann
Journal of Computer Security, 2016, 24 (5), ⟨10.3233/JCS-160556⟩
Journal articles hal-01351388v1
Image document

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols

Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
CCS'19 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
Conference papers hal-02269043v1

La création typographique au service des humanités numériques

Steve Kremer
Colloque scientifique Collecta : des pratiques antiquaires aux humanités numériques, 2016, Paris, France
Conference papers halshs-03187640v1

Formal Models and Techniques for Analyzing Security Protocols

Véronique Cortier , Steve Kremer
Cortier, Véronique and Kremer, Steve. IOS Press, 5, pp.312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0
Books inria-00636787v1
Image document

Private votes on untrusted platforms: models, attacks and provable scheme

Sergiu Bursuc , Constantin-Catalin Dragan , Steve Kremer
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
Conference papers hal-02099434v1
Image document

To Du or not to Du: A Security Analysis of Du-Vote

Steve Kremer , Peter Rønne
IEEE European Symposium on Security and Privacy 2016 , Mar 2016, Saarbrucken, Germany
Conference papers hal-01238894v1
Image document

Security protocols, constraint systems, and group theories

Stéphanie Delaune , Steve Kremer , Daniel Pasaila
6th International Joint Conference on Automated Reasoning (IJCAR'12), Jun 2012, Manchester, United Kingdom. pp.164-178, ⟨10.1007/978-3-642-31365-3_15⟩
Conference papers hal-00729091v1
Image document

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
[Research Report] INRIA Nancy. 2018
Reports hal-01698177v1