Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

211 Results
Structure: Internal structure identifier : 445522
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

Types for Location and Data Security in Cloud Environments

Ivan Gazeau , Tom Chothia , Dominic Duggan
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); University of Birmingham; Stevens Institute of Technology. 2017
Reports hal-01534567v1
Image document

SoK: Verifiability Notions for E-Voting Protocols

Véronique Cortier , David Galindo , Ralf Kuesters , Johannes Mueller , Tomasz Truderung
36th IEEE Symposium on Security and Privacy (S&P'16), May 2016, San Jose, United States
Conference papers hal-01280445v1
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

Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol

Alexandre Debant , Lucca Hirschi
2022
Preprints, Working Papers, ... hal-03875463v1
Image document

A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios

Véronique Cortier , Jannik Dreier , Pierrick Gaudry , Mathieu Turuani
2019
Preprints, Working Papers, ... hal-02346420v1
Image document

Minimizing Range Rules for Packet Filtering Using Double Mask Representation

Ahmad Abboud , Abdelkader Lahmadi , Michaël Rusinowitch , Miguel Couceiro , Adel Bouhoula , et al.
2019
Preprints, Working Papers, ... hal-02102225v4

Structured Leakage and Applications to Cryptographic Constant-Time and Cost

Gilles Barthe , Benjamin Grégoire , Vincent Laporte , Swarn Priya
CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.462-476, ⟨10.1145/3460120.3484761⟩
Conference papers hal-03430789v1
Image document

Online link disclosure strategies for social networks

Younes Abid , Abdessamad Imine , Amedeo Napoli , Chedy Raïssi , Michaël Rusinowitch
The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France
Conference papers hal-01402062v1
Image document

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Cas Cremers , Caroline Fontaine , Charlie Jacomme
S&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco / Virtual, United States
Conference papers hal-03620358v3
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

Machine-checked proofs for electronic voting: privacy and verifiability for Belenios

Véronique Cortier , Constantin Catalin Dragan , François Dupressoir , Bogdan Warinschi
CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
Conference papers hal-01900081v1

International Workshop on Security And Privacy Analytics

Rakesh Verma , Michael Rusinowitch
International Workshop on Security And Privacy Analytics, Mar 2016, New Orleans, United States. ACM, 2016, IWSPA '16: Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, 978-1-4503-4077-9
Proceedings hal-01408625v1
Image document

Detecting Communities under Differential Privacy

Hiep H Nguyen , Abdessamad Imine , Michaël Rusinowitch
Workshop on Privacy in the Electronic Society - WPES 206, Oct 2016, Vienna, Austria. pp.83 - 93
Conference papers hal-01393266v1
Image document

Unification modulo Lists with Reverse, Relation with Certain Word Equations

Siva Anantharaman , Peter Hibbs , Paliath Narendran , Michaël Rusinowitch
CADE-27 - The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1--17, ⟨10.1007/978-3-030-29436-6_1⟩
Conference papers hal-02123709v1
Image document

How to fake zero-knowledge proofs, again

Véronique Cortier , Pierrick Gaudry , Quentin Yang
E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
Conference papers hal-02928953v1
Image document

Automated Verification of Electrum Wallet

Mathieu Turuani , Thomas Voegtlin , Michael Rusinowitch
3rd Workshop on Bitcoin and Blockchain Research, Feb 2016, Christ Church, Barbados
Conference papers hal-01256397v1
Image document

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
Conference papers hal-01326059v1
Image document

BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device

Véronique Cortier , Alicia Filipiak , Joseph Lallemand
[Research Report] CNRS, Inria, LORIA; Orange Labs. 2019
Reports hal-02126077v1
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

Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)

Christian Barillot , Inbar Fijalkow , Isabelle Queinnec , Fabrice Theoleyre , Hélène Touzet , et al.
[0] CNRS. 2018, pp.1-87
Reports hal-01956087v1
Image document

Is the JCJ voting system really coercion-resistant?

Véronique Cortier , Pierrick Gaudry , Quentin Yang
2023
Preprints, Working Papers, ... hal-03629587v2
Image document

SAT-Equiv: an efficient tool for equivalence properties

Véronique Cortier , Antoine Dallon , Stéphanie Delaune
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
Reports hal-01529966v1
Image document

Satisfiability of General Intruder Constraints with and without a Set Constructor

Tigran Avanesov , Yannick Chevalier , Michaël Rusinowitch , Mathieu Turuani
Journal of Symbolic Computation, 2017, Special issue: SI: Program Verification, 80, pp.27-61. ⟨10.1016/j.jsc.2016.07.009⟩
Journal articles hal-01405842v1

Polite Combination of Algebraic Datatypes

Ying Sheng , Yoni Zohar , Christophe Ringeissen , Jane Lange , Pascal Fontaine , et al.
Journal of Automated Reasoning, 2022, 66 (3), pp.331-355. ⟨10.1007/s10817-022-09625-3⟩
Journal articles hal-03853159v1
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

Symbolic protocol verification with dice

Vincent Cheval , Raphaëlle Crubillé , Steve Kremer
Journal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩
Journal articles hal-04179875v1

Politeness and Stable Infiniteness: Stronger Together

Ying Sheng , Yoni Zohar , Christophe Ringeissen , Andrew Reynolds , Clark Barrett , et al.
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.148-165, ⟨10.1007/978-3-030-79876-5_9⟩
Conference papers hal-03346663v1
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

Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions

Lucca Hirschi , Cas Cremers
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩
Conference papers hal-02368857v1