Filtrer vos résultats
- 34
- 2
- 26
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 36
- 2
- 1
- 1
- 3
- 18
- 14
- 1
- 35
- 1
- 31
- 11
- 7
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 7
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
36 résultats
|
|
|
triés par
|
|
|
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
|
||
|
|
Hardware/Software Runtime for GPSA Protection in RISC-V Embedded CoresDATE 2025, Mar 2025, Lyon, France
Communication dans un congrès
hal-04788484v1
|
||
|
|
A Probabilistic Logic for Concrete SecurityCSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands. pp.324-339
Communication dans un congrès
hal-04577828v1
|
||
|
|
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
|
||
|
|
Intent-Based Attack Mitigation through Opportunistic Synchronization of MicroservicesRESSI 2024 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France
Communication dans un congrès
hal-04645953v1
|
||
|
|
Evaluating the Reusability of Android Static Analysis ToolsICSR 2024 - 21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus. pp.153-170, ⟨10.1007/978-3-031-66459-5_10⟩
Communication dans un congrès
hal-04557993v1
|
||
|
|
The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model CheckerSEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.30-46, ⟨10.1007/978-3-031-47115-5_3⟩
Communication dans un congrès
hal-04394062v2
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Embedded Curves and Embedded Families for SNARK-Friendly Curves2024
Pré-publication, Document de travail
hal-04750802v1
|
||
|
|
Proving Unlinkability using ProVerif through Desynchronized Bi-ProcessesIEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Communication dans un congrès
hal-03674979v2
|
||
|
|
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
|
||
|
|
Decoding the Secrets of Machine Learning in Windows Malware Classification: A Deep Dive into Datasets, Features, and Model PerformanceCCS 2023 - 30th ACM Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.60-74, ⟨10.1145/3576915.3616589⟩
Communication dans un congrès
hal-04321280v1
|
||
|
|
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
|
||
|
|
Polymorphic Type Inference for Dynamic LanguagesProceedings of the ACM on Programming Languages, In press, 8 (POPL), pp.40. ⟨10.1145/3632882⟩
Article dans une revue
hal-04284072v1
|
||
|
|
How Fast Does Malware Leveraging EternalBlue Propagate? The case of WannaCry and NotPetyaSecSoft 2024 - 6th International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures, Jun 2024, Saint Louis (Missouri), United States
Communication dans un congrès
hal-04645862v1
|
||
|
|
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
|
||
[Poster] Privacy-Preserving Distributed Spectral Centrality Measures based on Fully Homomorphic EncryptionInternational Conference on Scientific and Statistical Database Management, Jul 2024, Rennes, France
Poster de conférence
hal-04714921v1
|
|||
|
|
Artifact for "Foundations for Cryptographic Reductions in CCSA Logics2024
Logiciel
hal-04650670v1
|
||
|
|
Key Committing Attacks against AES-based AEAD SchemesIACR Transactions on Symmetric Cryptology, 2024, 2024 (1), pp.135-157. ⟨10.46586/tosc.v2024.i1.135-157⟩
Article dans une revue
hal-04773876v1
|
||
|
|
From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly HandshakeEuroS&P 2023 - IEEE 8th European Symposium on Security and Privacy, Jul 2023, Delft, Netherlands. pp.707-723, ⟨10.1109/EuroSP57164.2023.00048⟩
Communication dans un congrès
hal-04175322v1
|
||
|
|
Humans vs. Machines in Malware ClassificationUSENIX Security 2023 - 32nd Usenix Security Symposium, Aug 2023, Anaheim (CA), United States
Communication dans un congrès
hal-04321950v1
|
||
|
|
Extended version: Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks28th European Symposium on Research in Computer Security on Computer Security, Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis, Sep 2023, The Hague, Netherlands
Communication dans un congrès
hal-04079883v1
|
||
|
|
Formal Security Analysis of Widevine through the W3C EME StandardUSENIX Security Symposium, Aug 2024, PHILADELPHIA, United States
Communication dans un congrès
hal-04631369v1
|
||
|
|
The Squirrel Prover and its LogicACM SIGLOG News, 2024, 11 (2), ⟨10.1145/3665453.3665461⟩
Article dans une revue
hal-04579038v1
|
||
|
|
[~Re]Simulating socioeconomic-based affirmative actionThe ReScience journal, 2023, 9 (1), pp.16. ⟨10.5281/zenodo.10255346⟩
Article dans une revue
hal-04328511v1
|
||
|
|
SNAKE challenge: Sanitization Algorithms under AttackACM International Conference on Information and Knowledge Management, Oct 2023, Birmingham, United Kingdom. ⟨10.1145/3583780.3614754⟩
Communication dans un congrès
hal-04228115v1
|
||
|
|
Synthetic Data: Generate Avatar Data on DemandThe International Web Information Systems Engineering conference (WISE), Dec 2024, Doha-Qatar, France
Communication dans un congrès
hal-04715055v1
|
- 1
- 2