Filtrer vos résultats
- 97
- 11
- 84
- 14
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 105
- 5
- 4
- 1
- 1
- 38
- 58
- 12
- 106
- 1
- 1
- 27
- 25
- 17
- 16
- 15
- 12
- 11
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 14
- 6
- 5
- 5
- 5
- 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
- 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
- 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
108 résultats
|
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
|
||
|
Reachability Analysis of Self Modifying CodeInternational Journal of Foundations of Computer Science, 2023, 34 (05), pp.507-536. ⟨10.1142/S0129054122500290⟩
Article dans une revue
hal-04295949v1
|
||
|
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
|
||
|
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
|
||
|
Bandwidth-efficient threshold EC-DSA revisited: Online/Offline Extensions, Identifiable Aborts Proactive and Adaptive SecurityTheoretical Computer Science, 2023, 939, pp.78-104. ⟨10.1016/j.tcs.2022.10.016⟩
Article dans une revue
hal-03927198v1
|
||
|
Evaluating the Reusability of Android Static Analysis ToolsICSR 2024 - 21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus
Communication dans un congrès
hal-04557993v1
|
||
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023
Pré-publication, Document de travail
hal-03683907v2
|
||
|
The Devil is in the Details: Detection, Measurement and Lawfulness of Server-Side Tracking on the Web24th Privacy Enhancing Technologies Symposium (PETS 2024), Jul 2024, Bristol, United Kingdom
Communication dans un congrès
hal-04617727v1
|
||
|
Differentially Private Decentralized Learning with Random WalksICML 2024 - Forty-first International Conference on Machine Learning, Jul 2024, Vienne (Autriche), Austria. ⟨10.48550/arXiv.2402.07471⟩
Communication dans un congrès
hal-04610660v1
|
||
|
Fast Secure Computations on Shared Polynomials and Applications to Private Set OperationsITC 2024 - 5th Information-Theoretic Cryptography Conference, Aug 2024, Stanford, CA, United States
Communication dans un congrès
lirmm-04593144v1
|
||
|
A Robust Approach for the Detection and Prevention of Conflicts in I2NSF Security PoliciesNOMS 2023: IEEE/IFIP Network Operations and Management Symposium, May 2023, Miami, United States. pp.1-7, ⟨10.1109/NOMS56928.2023.10154304⟩
Communication dans un congrès
hal-04223371v1
|
||
|
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
|
||
|
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-NetsUsenix Security Symposium, Aug 2024, Philadelphia, United States
Communication dans un congrès
hal-04615474v1
|
||
|
Choose your Path: Control of Ring Oscillators EMFI Susceptibility through FPGA P&R ConstraintsInternational Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2024), Apr 2024, Kielce, Poland
Communication dans un congrès
hal-04513560v1
|
||
|
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
|
||
|
Formally verifying Kyber2024
Pré-publication, Document de travail
hal-04595591v1
|
||
|
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
|
||
|
Active disjunctive constraint acquisitionKR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.512-520, ⟨10.24963/kr.2023/50⟩
Communication dans un congrès
cea-04258912v1
|
||
|
A Probabilistic Logic for Concrete SecurityCSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Communication dans un congrès
hal-04577828v1
|
||
|
Oblivious Transfer with Constant Computational Overhead42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2023), Apr 2023, Lyon, France. pp.271-302, ⟨10.1007/978-3-031-30545-0_10⟩
Communication dans un congrès
hal-04265616v1
|
||
DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.Logiciel hal-04573409v1 |
|||
|
Non-Interactive Secure Computation of Inner-Product from LPN and LWEAdvances in Cryptology - ASIACRYPT 2022, Dec 2022, Taipei, Taiwan
Communication dans un congrès
hal-03860759v1
|
||
|
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
|
||
|
[~Re]Simulating socioeconomic-based affirmative actionThe ReScience journal, 2023, 9 (1), pp.16. ⟨10.5281/zenodo.10255346⟩
Article dans une revue
hal-04328511v1
|
||
|
(Local) Differential Privacy has NO Disparate Impact on FairnessDBSec 2023 - 37th IFIP Annual Conference on Data and Applications Security and Privacy, Vijay Atluri; Anna Lisa Ferrara, Jul 2023, SOPHIA ANTIPOLIS, France. pp.3-21, ⟨10.1007/978-3-031-37586-6_1⟩
Communication dans un congrès
hal-04175027v1
|
||
|
Sublinear Secure Computation from New AssumptionsTCC 2022 - Theory of Cryptography Conference, Nov 2022, Chicago, United States
Communication dans un congrès
hal-03860742v1
|