Filtrer vos résultats
- 160
- 12
- 126
- 27
- 8
- 5
- 2
- 2
- 1
- 1
- 1
- 165
- 12
- 6
- 3
- 1
- 4
- 92
- 63
- 13
- 169
- 2
- 1
- 41
- 40
- 31
- 24
- 20
- 16
- 14
- 13
- 12
- 11
- 11
- 11
- 10
- 9
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 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
- 22
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 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
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
172 résultats
|
|
A Probabilistic Logic for Concrete SecurityCSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Communication dans un congrès
hal-04577828v1
|
||
|
|
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
|
||
DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.Logiciel hal-04573409v1 |
|||
|
|
Explainable AI for Process-Aware Attack Detection in Industrial Control SystemsSecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures at the 10th IEEE International Conference on Network Softwarization (IEEE NetSoft 2024), IEEE, Jun 2024, St Louis, MO, United States. pp.1-6, ⟨10.1109/NetSoft60951.2024.10588940⟩
Communication dans un congrès
hal-04680302v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Internal State Monitoring in RISC-V Microarchitectures for Security Purpose25th IEEE Latin American Test Symposium (LATS 2024), Apr 2024, Maceio (Brazil), Brazil. ⟨10.1109/LATS62223.2024.10534613⟩
Communication dans un congrès
hal-04513607v1
|
||
|
|
Intent-Based Attack Mitigation through Opportunistic Synchronization of Micro-Services10th IEEE International Conference on Network Softwarization (NetSoft 2024), Jun 2024, Saint Louis, MO, United States. ⟨10.1109/NetSoft60951.2024.10588925⟩
Communication dans un congrès
hal-04645889v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, Jan 2024, London, United Kingdom. pp.50-73, ⟨10.1007/978-3-031-50524-9_3⟩
Communication dans un congrès
hal-04317611v1
|
||
|
|
Automatic verification of Finite Variant Property beyond convergent equational theories2025 IEEE 38th Computer Security Foundations Symposium (CSF 2025), IEEE, Jul 2025, Santa Cruz, United States
Communication dans un congrès
hal-04748770v1
|
||
|
|
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
|
||
|
|
French 2022 legislatives elections: a verifiability experimentThe E-Vote-ID Conference 2023, Oct 2023, Luxembourg City, Luxembourg
Communication dans un congrès
hal-04205615v1
|
||
|
|
A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-ReductionTCC 2024, Dec 2024, Milan (Italie), Italy
Communication dans un congrès
hal-04779135v1
|
||
|
|
Hardware/Software Runtime for GPSA Protection in RISC-V Embedded CoresDATE 2025, Mar 2025, Lyon, France
Communication dans un congrès
hal-04788484v1
|
||
|
|
A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-ReductionTCC 2024, Dec 2024, Milan, Italy
Communication dans un congrès
hal-04773929v1
|
||
|
|
Secrecy by typing in the computational model38th IEEE Computer Security Foundations Symposium (CSF 2025), Owen Arden, Jun 2025, Santa Cruz, CA, United States
Communication dans un congrès
hal-04666965v1
|
||
Is information leakage spilling?Cryptographic architectures embedded in logic devices, Jun 2023, Castro Urdiales, Spain
Communication dans un congrès
ujm-04220174v1
|
|||
|
|
QuietOT: Lightweight Oblivious Transfer with a Public-Key SetupASIACRYPT 2024, Dec 2024, Kolkata, India
Communication dans un congrès
hal-04770549v1
|
||
|
|
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic LibrariesCCS 2023 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.1690-1704, ⟨10.1145/3576915.3623112⟩
Communication dans un congrès
hal-04474774v1
|
||
|
|
Logic-Locking schemes and side channel attacks resilienceSAFEST Workshop, Jun 2023, Tallinn (Virtual), Estonia
Poster de conférence
lirmm-04526269v1
|
||
|
|
Belenios with cast-as-intended: towards a usable interfaceEVote-ID 2024 - 9th International Joint Conference on Electronic Voting, Oct 2024, Terragona, Spain
Communication dans un congrès
hal-04646244v1
|
||
|
|
Belenios: the Certification CampaignSSTIC 2024 - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2024, Rennes, France
Communication dans un congrès
hal-04578848v1
|
||
|
|
Formally verifying Kyber: Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCryptCrypto 2024, International Association for Cryptologic Research, Aug 2024, Santa Barbara (CA), United States. ⟨10.1007/978-3-031-68379-4_12⟩
Communication dans un congrès
hal-04595591v2
|