
Steve Kremer
66
Documents
Publications
Publications
|
DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing45th IEEE Symposium on Security and Privacy, 2024, San Francisco (CA, USA), United States
Communication dans un congrès
hal-04318710
v2
|
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilitiesCSF'22 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03700492
v1
|
|
Sapic+ : protocol verifiers of the world, unite!USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States
Communication dans un congrès
hal-03693843
v3
|
|
Universal equivalence and majority of probabilistic programs over finite fieldsACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩
Communication dans un congrès
hal-02961583
v1
|
|
Exploiting Symmetries When Proving Equivalence Properties for Security ProtocolsCCS'19 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
Communication dans un congrès
hal-02269043
v1
|
|
Private votes on untrusted platforms: models, attacks and provable schemeEuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
Communication dans un congrès
hal-02099434
v1
|
|
Symbolic Methods in Computational Cryptography ProofsCSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
Communication dans un congrès
hal-02404701
v1
|
|
Contingent payments on a public ledger: models and reductions for automated verificationESORICS 2019 - The 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg
Communication dans un congrès
hal-02269063
v1
|
|
The DEEPSEC prover CAV 2018 - 30th International Conference on Computer Aided Verification, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01763138
v1
|
|
An extensive formal analysis of multi-factor authentication protocolsCSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00008⟩
Communication dans un congrès
hal-01922022
v1
|
|
DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice39th IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States
Communication dans un congrès
hal-01763122
v1
|
|
On communication models when verifying equivalence properties6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden
Communication dans un congrès
hal-01450898
v1
|
|
Symbolic verification of privacy-type properties for security protocols with XORCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15
Communication dans un congrès
hal-01533708
v1
|
|
Automated analysis of equivalence properties for security protocols using else branches22nd European Symposium on Research in Computer Security (ESORICS'17), 2017, Oslo, Norway
Communication dans un congrès
hal-01566035
v1
|
|
Symbolic Models for Isolated Execution Environments2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.16⟩
Communication dans un congrès
hal-01396291
v1
|
|
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version)POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩
Communication dans un congrès
hal-01430490
v2
|
|
On communication models when verifying equivalence properties (extended version)6th International Conference on Principles of Security and Trust (POST), 2017, Uppsala, Sweden
Communication dans un congrès
hal-01438639
v1
|
|
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.12⟩
Communication dans un congrès
hal-01396282
v1
|
|
Formal verification of protocols based on short authenticated stringsCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.14
Communication dans un congrès
hal-01528607
v1
|
La création typographique au service des humanités numériquesColloque scientifique Collecta : des pratiques antiquaires aux humanités numériques, 2016, Paris, France
Communication dans un congrès
halshs-03187640
v1
|
|
|
To Du or not to Du: A Security Analysis of Du-VoteIEEE European Symposium on Security and Privacy 2016 , Mar 2016, Saarbrucken, Germany
Communication dans un congrès
hal-01238894
v1
|
|
When are three voters enough for privacy properties?21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece
Communication dans un congrès
hal-01351398
v1
|
|
Type-Based Verification of Electronic Voting Protocols4th Conference on Principles of Security and Trust (POST), Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01103545
v1
|
|
Automated Analysis of Security Protocols with Global State35th IEEE Symposium on Security and Privacy (S&P'14), May 2014, San Jose, United States. pp.163-178, ⟨10.1109/SP.2014.18⟩
Communication dans un congrès
hal-01091241
v1
|
|
Universally Composable Key-Management18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. ⟨10.1007/978-3-642-40203-6_19⟩
Communication dans un congrès
hal-00878632
v1
|
|
Practical Everlasting Privacy2nd Conferences on Principles of Security and Trust (POST'13), Mar 2013, Rome, Italy. pp.21-40, ⟨10.1007/978-3-642-36830-1_2⟩
Communication dans un congrès
hal-00878630
v1
|
|
Security protocols, constraint systems, and group theories6th International Joint Conference on Automated Reasoning (IJCAR'12), Jun 2012, Manchester, United Kingdom. pp.164-178, ⟨10.1007/978-3-642-31365-3_15⟩
Communication dans un congrès
hal-00729091
v1
|
|
Automated verification of equivalence properties of cryptographic protocols21th European Symposium on Programming (ESOP'12), Mar 2012, Talinn, Estonia. pp.108-127, ⟨10.1007/978-3-642-28869-2_6⟩
Communication dans un congrès
hal-00732905
v1
|
|
Formal analysis of protocols based on TPM state registers24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. ⟨10.1109/CSF.2011.12⟩
Communication dans un congrès
inria-00636747
v1
|
|
Transforming Password Protocols to Compose31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Dec 2011, Mumbai, India
Communication dans un congrès
inria-00636753
v1
|
|
Security for Key Management Interfaces24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. ⟨10.1109/CSF.2011.25⟩
Communication dans un congrès
inria-00636734
v1
|
Reducing Equational Theories for the Decision of Static EquivalenceAdvances in Computer Science - ASIAN 2009, Dec 2009, Seoul, South Korea. pp.94--108, ⟨10.1007/978-3-642-10622-4_8⟩
Communication dans un congrès
istex
hal-00495976
v1
|
|
Proving Group Protocols Secure Against Eavesdroppers4th International Joint Conference on Automated Reasoning (IJCAR 2008), Aug 2008, Sydney, Australia. pp.116-131, ⟨10.1007/978-3-540-71070-7_9⟩
Communication dans un congrès
istex
hal-00496351
v1
|
|
Computationally Sound Symbolic Secrecy in the Presence of Hash FunctionsProceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Dec 2006, Kolkata, India
Communication dans un congrès
inria-00108386
v1
|
|
Computationally Sound Implementations of Equational Theories against Passive Adversaries32nd International Colloquium on Automata, Languages and Programming - ICALP 2005, Jul 2005, Lisbonne/Portugal, pp.652-663, ⟨10.1007/11523468⟩
Communication dans un congrès
inria-00000555
v1
|
|
CybersécuritéInria, 3, pp.18, 2019, Inria white book
Ouvrages
hal-02414281
v1
|
|
CybersecurityInria, 3, pp.172, 2019, Inria white book
Ouvrages
hal-01993308
v1
|
|
Formal Models and Techniques for Analyzing Security Protocols: A TutorialKnow Publishers, 1 (3), pp.117, 2014, Foundations and Trends® in Programming Languages, 978-1-60198-903-1. ⟨10.1561/2500000001⟩
Ouvrages
hal-01090874
v1
|
Formal Models and Techniques for Analyzing Security ProtocolsCortier, Véronique and Kremer, Steve. IOS Press, 5, pp.312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0
Ouvrages
inria-00636787
v1
|
|
Le traçage anonyme, dangereux oxymoreLe droit face au coronavirus, LexisNexis, pp.468--480, 2021, 9782711036394
Chapitre d'ouvrage
hal-02997228
v1
|
|
The hitchhiker's guide to decidability and complexity of equivalence properties in security protocolsNigam, V., Ban Kirigin, T., Talcott, C., Guttman, J., Kuznetsov, S., Thau Loo, B., Okada, M. Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS-12300, Springer, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-62077-6_10⟩
Chapitre d'ouvrage
hal-02961617
v1
|
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023
Pré-publication, Document de travail
hal-03683907
v2
|
|
Universally Composable Key-Management2012
Pré-publication, Document de travail
hal-00686535
v1
|
|
Modelling and analyzing security protocols in cryptographic process calculiComputer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
HDR
tel-00636769
v1
|
Chargement...
Chargement...