Filter your results
- 117
- 36
- 23
- 14
- 8
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 38
- 38
- 30
- 26
- 22
- 21
- 19
- 14
- 13
- 13
- 12
- 12
- 10
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 210
- 2
- 1
- 1
- 1
- 1
- 211
- 211
- 22
- 13
- 9
- 8
- 8
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 210
- 210
- 210
- 210
- 210
- 210
- 210
- 210
- 210
- 210
- 210
- 56
- 51
- 49
- 49
- 49
- 49
- 49
- 49
- 49
- 35
- 30
- 29
- 29
- 28
- 25
- 25
- 24
- 23
- 23
- 22
- 22
- 22
- 22
- 22
- 21
- 20
- 19
- 19
- 19
- 17
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 11
- 11
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 201
- 10
- 184
- 26
- 1
- 12
- 27
- 17
- 33
- 26
- 37
- 35
- 20
- 4
|
On communication models when verifying equivalence properties6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden
Conference papers
hal-01450898v1
|
||
|
Types for Location and Data Security in Cloud Environments[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); University of Birmingham; Stevens Institute of Technology. 2017
Reports
hal-01534567v1
|
||
|
SoK: Verifiability Notions for E-Voting Protocols36th IEEE Symposium on Security and Privacy (S&P'16), May 2016, San Jose, United States
Conference papers
hal-01280445v1
|
||
|
Symbolic verification of privacy-type properties for security protocols with XOR (extended version)[Research Report] Inria Nancy - Grand Est. 2017, pp.29
Reports
hal-01533694v1
|
||
|
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol2022
Preprints, Working Papers, ...
hal-03875463v1
|
||
|
A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios2019
Preprints, Working Papers, ...
hal-02346420v1
|
||
|
Minimizing Range Rules for Packet Filtering Using Double Mask Representation2019
Preprints, Working Papers, ...
hal-02102225v4
|
||
Structured Leakage and Applications to Cryptographic Constant-Time and CostCCS 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
|
|||
|
Online link disclosure strategies for social networksThe 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France
Conference papers
hal-01402062v1
|
||
|
A Logic and an Interactive Prover for the Computational Post-Quantum Security of ProtocolsS&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco / Virtual, United States
Conference papers
hal-03620358v3
|
||
|
An Extensive Formal Analysis of Multi-factor Authentication ProtocolsACM Transactions on Privacy and Security, 2021, 24 (2), pp.1-34. ⟨10.1145/3440712⟩
Journal articles
hal-03468848v1
|
||
|
Machine-checked proofs for electronic voting: privacy and verifiability for BeleniosCSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
Conference papers
hal-01900081v1
|
||
International Workshop on Security And Privacy AnalyticsInternational 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
|
|||
|
Detecting Communities under Differential Privacy Workshop on Privacy in the Electronic Society - WPES 206, Oct 2016, Vienna, Austria. pp.83 - 93
Conference papers
hal-01393266v1
|
||
|
Unification modulo Lists with Reverse, Relation with Certain Word EquationsCADE-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
|
||
|
How to fake zero-knowledge proofs, againE-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
Conference papers
hal-02928953v1
|
||
|
Automated Verification of Electrum Wallet3rd Workshop on Bitcoin and Blockchain Research, Feb 2016, Christ Church, Barbados
Conference papers
hal-01256397v1
|
||
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen8th 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
|
||
|
BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device[Research Report] CNRS, Inria, LORIA; Orange Labs. 2019
Reports
hal-02126077v1
|
||
|
Automated analysis of equivalence properties for security protocols using else branches (extended version)[Research Report] INRIA Nancy. 2017, pp.29
Reports
hal-01547017v1
|
||
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87
Reports
hal-01956087v1
|
||
|
Is the JCJ voting system really coercion-resistant?2023
Preprints, Working Papers, ...
hal-03629587v2
|
||
|
SAT-Equiv: an efficient tool for equivalence properties[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
Reports
hal-01529966v1
|
||
|
Satisfiability of General Intruder Constraints with and without a Set ConstructorJournal 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 DatatypesJournal of Automated Reasoning, 2022, 66 (3), pp.331-355. ⟨10.1007/s10817-022-09625-3⟩
Journal articles
hal-03853159v1
|
||
|
The hitchhiker's guide to decidability and complexity of equivalence properties in security protocolsLogic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States
Conference papers
hal-02961617v1
|
||
|
Symbolic protocol verification with diceJournal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩
Journal articles
hal-04179875v1
|
||
|
Politeness and Stable Infiniteness: Stronger TogetherCADE 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
|
||
|
Private votes on untrusted platforms: models, attacks and provable schemeEuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
Conference papers
hal-02099434v1
|
||
|
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient ConditionsEuroS&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
|