Filtrer vos résultats
- 14
- 8
- 4
- 1
- 1
- 4
- 14
- 4
- 1
- 3
- 4
- 1
- 1
- 14
- 9
- 9
- 4
- 1
- 1
- 1
- 1
- 14
- 7
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 résultats
|
|
triés par
|
|
Equivalence Properties by Typing in Cryptographic Branching ProtocolsPOST'18 - 7th International Conference on Principles of Security and Trust, Apr 2018, Thessaloniki, Greece
Communication dans un congrès
hal-01900079v1
|
||
|
Voting: You Can't Have Privacy without Individual Verifiability[Research Report] CNRS, Inria, LORIA. 2018
Rapport
hal-01858034v1
|
||
|
BeleniosVS: Secrecy and Verifiability against a Corrupted Voting DeviceCSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States
Communication dans un congrès
hal-02268399v1
|
||
|
One Vote is Enough for Analysing PrivacyCNRS. 2023
Rapport
hal-04262499v1
|
||
|
BeleniosVS: Secrecy and Verifiability against a Corrupted Voting Device[Research Report] CNRS, Inria, LORIA; Orange Labs. 2019
Rapport
hal-02126077v1
|
||
|
A Higher-Order Indistinguishability Logic for Cryptographic ReasoningLICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩
Communication dans un congrès
hal-03981949v2
|
||
|
Additive Normal Forms and Integration of Differential FractionsJournal of Symbolic Computation, 2016
Article dans une revue
hal-01245378v1
|
||
|
Electronic Voting: Definitions and Analysis TechniquesCryptography and Security [cs.CR]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0135⟩
Thèse
tel-02396851v1
|
||
|
Equivalence Properties by Typing in Cryptographic Branching Protocols[Research Report] Université de Lorraine, CNRS, Inria, LORIA; TU Wien. 2018
Rapport
hal-01715957v1
|
||
|
A Type System for Privacy Properties CCS'17 - 24th ACM Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.409 - 423
Communication dans un congrès
hal-01626109v1
|
||
|
Voting: You Can’t Have Privacy without Individual VerifiabilityACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243762⟩
Communication dans un congrès
hal-01900086v1
|
||
|
Fifty Shades of Ballot Privacy: Privacy against a Malicious BoardCSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States
Communication dans un congrès
hal-02969613v1
|
||
|
One vote is enough for analysing privacyESORICS 2022 - 27th European Symposium on Research in Computer Security, Sep 2022, Copenhague, Denmark
Communication dans un congrès
hal-03669664v1
|
||
|
Sound Verification of Security Protocols: From Design to Interoperable Implementations2023 IEEE Symposium on Security and Privacy (SP), May 2023, San Francisco, United States
Communication dans un congrès
hal-04210887v1
|