Filtrer vos résultats
- 28
- 2
- 20
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 30
- 2
- 1
- 1
- 1
- 16
- 13
- 29
- 1
- 29
- 9
- 6
- 6
- 3
- 3
- 2
- 2
- 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
30 résultats
|
|
|
triés par
|
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
A Probabilistic Logic for Concrete SecurityCSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Communication dans un congrès
hal-04577828v1
|
||
|
|
Artifact for "Foundations for Cryptographic Reductions in CCSA Logics2024
Logiciel
hal-04650670v1
|
||
|
|
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
|
||
[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
|
|||
|
|
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
|
||
|
|
Formal Security Analysis of Widevine through the W3C EME StandardUSENIX Security Symposium, Aug 2024, PHILADELPHIA, United States
Communication dans un congrès
hal-04631369v1
|
||
|
|
Extended version: Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks2023
Pré-publication, Document de travail
hal-04079883v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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 PrivacyCNRS. 2023
Rapport
hal-04262499v1
|
||
|
|
Client-side and Server-side Tracking on Meta: Effectiveness and AccuracyPETS 2024 - 24th Privacy Enhancing Technologies Symposium, Jul 2024, Bristol, United Kingdom. pp.431-445, ⟨10.56553/popets-2024-0086⟩
Communication dans un congrès
hal-04665102v1
|
||
|
|
Foundations for Cryptographic Reductions in CCSA Logics2024
Pré-publication, Document de travail
hal-04511718v3
|
||
|
|
A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security levelIACR Communications in Cryptology, 2024, 1 (3), pp.44
Article dans une revue
hal-04666521v2
|
||
|
|
Se protéger d'une pandémie numérique2023
Autre publication scientifique
hal-04547827v1
|
||
[Short Paper] Privacy-Preserving Distributed Spectral Centrality Measures based on Fully Homomorphic EncryptionConférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2024, Orleans, France
Communication dans un congrès
hal-04714952v1
|
|||
|
|
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
|
||
|
|
[~Re]Simulating socioeconomic-based affirmative actionThe ReScience journal, 2023, 9 (1), pp.16. ⟨10.5281/zenodo.10255346⟩
Article dans une revue
hal-04328511v1
|
||
|
|
The Squirrel Prover and its LogicACM SIGLOG News, 2024, 11 (2), ⟨10.1145/3665453.3665461⟩
Article dans une revue
hal-04579038v1
|