Steve Kremer
66
Documents
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-04318710v2
|
|
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-03700492v1
|
|
Sapic+ : protocol verifiers of the world, unite!USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States
Communication dans un congrès
hal-03693843v3
|
|
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-02961583v1
|
|
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-02269043v1
|
|
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-02099434v1
|
|
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-02269063v1
|
|
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-02404701v1
|
|
The DEEPSEC prover CAV 2018 - 30th International Conference on Computer Aided Verification, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01763138v1
|
|
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-01922022v1
|
|
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-01763122v1
|
|
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-01566035v1
|
|
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-01533708v1
|
|
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-01396291v1
|
|
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-01430490v2
|
|
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-01450898v1
|
|
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-01396282v1
|
|
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-01438639v1
|
|
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-01528607v1
|
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-03187640v1
|
|
|
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-01238894v1
|
|
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-01351398v1
|
|
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-01103545v1
|
|
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-01091241v1
|
|
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-00878630v1
|
|
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-00878632v1
|
|
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-00729091v1
|
|
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-00732905v1
|
|
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-00636753v1
|
|
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-00636734v1
|
|
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-00636747v1
|
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
hal-00495976v1
|
|
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
hal-00496351v1
|
|
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-00108386v1
|
|
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-00000555v1
|
|
CybersécuritéInria, 3, pp.18, 2019, Inria white book
Ouvrages
hal-02414281v1
|
|
CybersecurityInria, 3, pp.172, 2019, Inria white book
Ouvrages
hal-01993308v1
|
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-00636787v1
|
|
Le traçage anonyme, dangereux oxymoreLe droit face au coronavirus, LexisNexis, pp.468--480, 2021, 9782711036394
Chapitre d'ouvrage
hal-02997228v1
|
|
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-02961617v1
|
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023
Pré-publication, Document de travail
hal-03683907v2
|
|
Universally Composable Key-Management2012
Pré-publication, Document de travail
hal-00686535v1
|
|
Modelling and analyzing security protocols in cryptographic process calculiComputer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
HDR
tel-00636769v1
|