Filtrer vos résultats
- 21
- 16
- 2
- 1
- 1
- 1
- 21
- 3
- 14
- 4
- 21
- 21
- 19
- 5
- 2
- 2
- 1
- 1
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 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
- 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
21 résultats
|
|
triés par
|
|
A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Communication dans un congrès
hal-03810102v1
|
||
|
French 2022 legislatives elections: a verifiability experimentThe E-Vote-ID Conference 2023, Oct 2023, Luxembourg City, Luxembourg
Communication dans un congrès
hal-04205615v1
|
||
|
Belenios with cast as intendedVoting 2023 - 8th Workshop on Advances in Secure Electronic Voting, May 2023, Bol, Brač, Croatia
Communication dans un congrès
hal-04020110v1
|
||
|
Machine-Checked Proofs of Accountability: How to sElect who is to BlameESORICS 2023, Sep 2023, The Hague, The Netherlands, Netherlands. ⟨10.1007/978-3-031-51479-1_24⟩
Communication dans un congrès
hal-04216243v1
|
||
|
Scalable program clone search through spectral analysisESEC/FSE '23 - 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Dec 2023, San Francisco, United States. ⟨10.48550/arXiv.2210.13063⟩
Communication dans un congrès
hal-03826726v4
|
||
|
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co2022 IEEE 35th Computer Security Foundations Symposium (CSF), Aug 2022, Haifa, Israel. ⟨10.1109/CSF54842.2022.9919663⟩
Communication dans un congrès
hal-03913573v2
|
||
|
Typing High-Speed Cryptography against Spectre v1SP 2023- IEEE Symposium on Security and Privacy, IEEE, May 2023, San Francisco, United States. pp.1592-1609, ⟨10.1109/SP46215.2023.10179418⟩
Communication dans un congrès
hal-04106448v1
|
||
|
Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial AccountabilityCCS 2022 - The ACM Conference on Computer and Communications Security, Nov 2022, Los Angeles, United States. ⟨10.1145/3548606.3560563⟩
Communication dans un congrès
hal-03763294v2
|
||
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023
Pré-publication, Document de travail
hal-03683907v2
|
||
|
On the Auditability of the Estonian IVXV System and an Attack on Individual VerifiabilityWorkshop on Advances in Secure Electronic Voting, May 2023, Bol, brac, Croatia. ⟨10.1007/978-3-031-48806-1_2⟩
Communication dans un congrès
hal-04216242v1
|
||
|
Formally verifying KyberCHES 2023 - Conference on Cryptographic Hardware and Embedded Systems, IACR, Sep 2023, Praha, Czech Republic. pp.164-193, ⟨10.46586/tches.v2023.i3.164-193⟩
Communication dans un congrès
hal-04218417v1
|
||
|
Is the JCJ voting system really coercion-resistant?37th IEEE Computer Security Foundations Symposium (CSF), 2024, Enschede, Netherlands
Communication dans un congrès
hal-03629587v3
|
||
|
Proving Unlinkability using ProVerif through Desynchronized Bi-ProcessesIEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Communication dans un congrès
hal-03674979v2
|
||
|
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol2023
Pré-publication, Document de travail
hal-03875463v3
|
||
|
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Communication dans un congrès
hal-03795715v1
|
||
|
Election Verifiability with ProVerifCSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. ⟨10.1109/CSF57540.2023.00032⟩
Communication dans un congrès
hal-04177268v2
|
||
|
Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network ProtocolInternational Joint Conference on Electronic Voting 2022, Oct 2022, Bregenz, Austria. pp.19-35, ⟨10.1007/978-3-031-15911-4_2⟩
Communication dans un congrès
hal-03913581v2
|
||
|
Deep Reinforcement Learning for Automated Cyber-Attack Path Prediction in Communication NetworksGeilo Winter School 2024 - Graphs and Applications, Jan 2024, Geilo, Norway
Poster
hal-04462876v1
|
||
|
Symbolic protocol verification with diceJournal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩
Article dans une revue
hal-04179875v1
|
||
|
The Voice Privacy 2024 Challenge Evaluation Plan4th Symposium on Security and Privacy in Speech Communication 2024, Sep 2024, Kos Island, Greece
Document associé à des manifestations scientifiques
hal-04531444v1
|
||
|
Verifiable Decryption in the HeadAustralasian Conference on Information Security and Privacy, Nov 2022, Wollongong, Australia. pp.355-374, ⟨10.1007/978-3-031-22301-3_18⟩
Communication dans un congrès
hal-03913553v2
|