Filtrer vos résultats
- 80
- 7
- 67
- 10
- 6
- 1
- 1
- 1
- 1
- 1
- 84
- 4
- 4
- 1
- 1
- 16
- 59
- 12
- 86
- 1
- 21
- 19
- 15
- 15
- 13
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 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
- 14
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
87 résultats
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)2023
Pré-publication, Document de travail
hal-03683907v2
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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 Tools21st International Conference on Software and Systems Reuse, Jun 2024, Limassol, Cyprus
Communication dans un congrès
hal-04557993v1
|
||
|
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
|
||
|
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
|
||
|
Random Sources in Private ComputationAdvances in Cryptology - ASIACRYPT 2022, Dec 2022, Taipei, Taiwan
Communication dans un congrès
hal-03869622v1
|
||
|
Anonymous Whistleblowing over Authenticated ChannelsTCC 2022 - Theory of Cryptography Conference, Nov 2022, Chicago, United States
Communication dans un congrès
hal-03860748v1
|
||
|
Cryptographic Reductions By Bi-Deduction2024
Pré-publication, Document de travail
hal-04511718v2
|
||
|
Adversarial reachability for program-level security analysisESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩
Communication dans un congrès
cea-04199882v1
|
||
|
X-Ray-TLS: transparent decryption of TLS sessions by extracting session keys from memoryThe 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS), ACM, Jul 2024, Singapore, Singapore. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Communication dans un congrès
hal-04446027v1
|
||
|
Proving Unlinkability using ProVerif through Desynchronized Bi-ProcessesIEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Communication dans un congrès
hal-03674979v2
|
||
|
Covert Communications in Heterogeneous SoCsÉcole d'hiver Francophone sur les Technologies de Conception des Systèmes Embarqués Hétérogènes (FETCH), Université Libre de Bruxelles, Feb 2024, Maillen, Belgium
Communication dans un congrès
hal-04467933v1
|
||
Is information leakage spilling?Cryptographic architectures embedded in logic devices, Jun 2023, Castro Urdiales, Spain
Communication dans un congrès
ujm-04220174v1
|
|||
|
High-Dimensional Private Empirical Risk Minimization by Greedy Coordinate DescentAISTATS 2023 - International Conference on Artificial Intelligence and Statistics, Apr 2023, Valencia, Spain
Communication dans un congrès
hal-03714465v3
|
||
|
Improved Private Set Intersection for Sets with Small Entries26th IACR International Conference on Practice and Theory of Public-Key Cryptography,, May 2023, Atlanta (GA), United States. pp.190-220, ⟨10.1007/978-3-031-31371-4_7⟩
Communication dans un congrès
hal-04265603v1
|
||
|
Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩
Communication dans un congrès
hal-04087018v1
|