Filtrer vos résultats
- 20
- 14
- 3
- 1
- 1
- 1
- 1
- 20
- 2
- 1
- 6
- 13
- 1
- 20
- 17
- 6
- 4
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 3
- 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
20 résultats
|
|
triés par
|
|
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
|
||
|
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
|
||
|
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
|
||
|
Se protéger d'une pandémie numérique2023
Autre publication scientifique
hal-04547827v1
|
||
|
A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent27th International Conference on Extending Database Technology, EDBT 2024, Mar 2024, Paestum, Italy
Communication dans un congrès
hal-04149000v2
|
||
|
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
|
||
|
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
|
||
|
[~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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
One Vote is Enough for Analysing PrivacyCNRS. 2023
Rapport
hal-04262499v1
|
||
|
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 Attacks2023
Pré-publication, Document de travail
hal-04079883v1
|