Filtrer vos résultats
- 219
- 21
- 2
- 174
- 35
- 10
- 7
- 5
- 5
- 2
- 2
- 2
- 3
- 227
- 15
- 7
- 6
- 5
- 3
- 4
- 114
- 105
- 19
- 236
- 4
- 2
- 40
- 39
- 34
- 31
- 31
- 24
- 24
- 23
- 20
- 18
- 17
- 16
- 15
- 14
- 13
- 11
- 11
- 10
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 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
- 1
- 1
- 22
- 14
- 10
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 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
- 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
- 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
242 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
|
||
|
|
Dealing with Dynamic Key Compromise in CryptoVerif37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede (Pays Bas), Netherlands. pp.495-510, ⟨10.1109/CSF61375.2024.00015⟩
Communication dans un congrès
hal-04271666v2
|
||
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
|
||
|
|
Federated Learning on Personal Data Management Systems: Decentralized and Reliable Secure Aggregation ProtocolsSSDBM 2023 - 35th International Conference on Scientific and Statistical Database Management, USC Information Sciences Institute, Jul 2023, Los Angeles CA, United States. pp.1-12, ⟨10.1145/3603719.3603730⟩
Communication dans un congrès
hal-04234924v1
|
||
|
|
Modeling Clock Glitch Fault Injection Effects on a RISC-V Microcontroller2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS), Jul 2024, Rennes, France. ⟨10.1109/IOLTS60994.2024.10616064⟩
Communication dans un congrès
hal-04634303v1
|
||
|
|
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
|
||
Optimized Stream-Cipher-Based Transciphering by Means of Functional-BootstrappingDBSec2023, 13942, Springer Nature Switzerland, pp.91-109, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-37586-6_6⟩
Proceedings/Recueil des communications
hal-04460039v1
|
|||
|
|
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
|
||
|
|
Combining homomorphic encryption and differential privacy in federated learning2023 20th Annual International Conference on Privacy, Security and Trust (PST), Aug 2023, Copenhague, Denmark. 10320195 (7 p.), ⟨10.1109/PST58708.2023.10320195⟩
Communication dans un congrès
cea-04485721v1
|
||
|
|
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
|
||
|
|
Decoding the Secrets of Machine Learning in Malware Classification: A Deep Dive into Datasets, Feature Extraction, and Model Performance2023
Pré-publication, Document de travail
hal-04189325v1
|
||
|
|
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
|