Filtrer vos résultats
- 121
- 23
- 8
- 5
- 5
- 2
- 2
- 1
- 1
- 1
- 14
- 11
- 10
- 9
- 7
- 6
- 6
- 6
- 6
- 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
- 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
- 2
- 2
- 2
- 160
- 6
- 5
- 4
- 3
- 2
- 29
- 28
- 26
- 23
- 18
- 17
- 16
- 16
- 15
- 15
- 14
- 13
- 12
- 11
- 9
- 7
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 169
- 169
- 122
- 112
- 108
- 106
- 87
- 40
- 33
- 29
- 28
- 28
- 28
- 26
- 26
- 26
- 26
- 23
- 23
- 21
- 21
- 21
- 19
- 19
- 18
- 18
- 18
- 18
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 16
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 164
- 4
- 1
- 149
- 19
- 1
- 19
- 100
- 50
169 résultats
|
Feedback to the European Data Protection Board’s Guidelines 2/2023 on Technical Scope of Art. 5(3) of ePrivacy DirectiveInria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2024
Rapport
hal-04437008v1
|
||
|
Reachability Analysis of Self Modifying CodeInternational Journal of Foundations of Computer Science, 2023, 34 (05), pp.507-536. ⟨10.1142/S0129054122500290⟩
Article dans une revue
hal-04295949v1
|
||
|
CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels)RR-9525, Inria Paris. 2023, pp.166
Rapport
hal-04246199v1
|
||
|
CryptoVerif: a Computationally-Sound Security Protocol VerifierRR-9526, Inria. 2023, pp.194
Rapport
hal-04253820v1
|
||
|
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co2022 IEEE 35th Computer Security Foundations Symposium (CSF), Aug 2022, Haifa, Israel. ⟨10.1109/CSF54842.2022.9919663⟩
Communication dans un congrès
hal-03913573v2
|
||
|
Unmasking the Veiled: A Comprehensive Analysis of Android Evasive MalwareASIAACS 2024, 19th ACM ASIA Conference on Computer and Communications Security, ACM, Jul 2024, Singapore, Singapore
Communication dans un congrès
hal-04378941v1
|
||
|
Typing High-Speed Cryptography against Spectre v1SP 2023- IEEE Symposium on Security and Privacy, IEEE, May 2023, San Francisco, United States. pp.1592-1609, ⟨10.1109/SP46215.2023.10179418⟩
Communication dans un congrès
hal-04106448v1
|
||
|
RSSI-based Fingerprinting of Bluetooth Low Energy DevicesSECRYPT 2023 - 20th International Conference on Security and Cryptography, Jul 2023, Rome, Italy. pp.1-12
Communication dans un congrès
hal-04161424v1
|
||
|
Rétro-ingénierie et détournement de piles protocolaires embarquées, un cas d'étude sur le système ESP32SSTIC 2023, Symposium sur la sécurité des technologies de l'information et des communications, Jun 2023, Rennes, France
Communication dans un congrès
hal-04228161v1
|
||
|
Modularity, Code Specialization, and Zero-Cost Abstractions for Program VerificationProceedings of the ACM on Programming Languages, 2023, 7 (ICFP), pp.385-416. ⟨10.1145/3607844⟩
Article dans une revue
hal-04301439v1
|
||
|
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
|
||
|
Bandwidth-efficient threshold EC-DSA revisited: Online/Offline Extensions, Identifiable Aborts Proactive and Adaptive SecurityTheoretical Computer Science, 2023, 939, pp.78-104. ⟨10.1016/j.tcs.2022.10.016⟩
Article dans une revue
hal-03927198v1
|
||
|
Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial AccountabilityCCS 2022 - The ACM Conference on Computer and Communications Security, Nov 2022, Los Angeles, United States. ⟨10.1145/3548606.3560563⟩
Communication dans un congrès
hal-03763294v2
|
||
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023
Pré-publication, Document de travail
hal-03683907v2
|
||
|
The Devil is in the Details: Detection, Measurement and Lawfulness of Server-Side Tracking on the Web24th Privacy Enhancing Technologies Symposium (PETS 2024), Jul 2024, Bristol, United Kingdom
Communication dans un congrès
hal-04617727v1
|
||
|
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
|
||
|
Differentially Private Decentralized Learning with Random WalksICML 2024 - Forty-first International Conference on Machine Learning, Jul 2024, Vienne (Autriche), Austria. ⟨10.48550/arXiv.2402.07471⟩
Communication dans un congrès
hal-04610660v1
|
||
|
Code voting: when simplicity meets securityESORICS 2024, Sep 2024, Bydgoszcz, Poland
Communication dans un congrès
hal-04627733v1
|
||
|
In-place accumulation of fast multiplication formulaeProceedings of the 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. ⟨10.1145/3666000.3669671⟩
Communication dans un congrès
hal-04167499v4
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
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
|
||
DSL for modeling IEC 62443 compliant ICS instances, in a zone/conduit model.Logiciel hal-04573409v1 |
|||
|
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
|
||
|
Formally verifying Kyber2024
Pré-publication, Document de travail
hal-04595591v1
|
||
|
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
|
||
|
French 2022 legislatives elections: a verifiability experimentThe E-Vote-ID Conference 2023, Oct 2023, Luxembourg City, Luxembourg
Communication dans un congrès
hal-04205615v1
|