Skip to Main content Skip to Navigation
New interface


hal-03867187v1  Conference papers
Benjamin BinderMihail AsavoaeFlorian BrandnerBelgacem Ben HediaMathieu Jan. The Role of Causality in a Formal Definition of Timing Anomalies
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
...
hal-03860813v1  Book sections
Mingming QiuElie NajmRémi SharrockBruno Traverson. PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services
Christine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
...
hal-03814048v1  Conference papers
Kanvaly FadigaAda DiaconescuJean-Louis DessallesEtienne Houze. To do or not to do: finding causal relations in smart homes
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
...
hal-03749355v1  Conference papers
Nan LiEric GoubaultLaurent PautetS. Putot. Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
hal-03801012v1  Conference papers
Hassan ChaitouJean LeneutreLaurent Pautet. Threats to Adversarial Training for IDSs and Mitigation
19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
hal-03800662v1  Book sections
Mark AbspoelRonald CramerIvan DamgårdDaniel EscuderoMatthieu Rambaud et al.  Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
hal-03800650v1  Conference papers
Mark AbspoelThomas AttemaMatthieu Rambaud. Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
hal-03800642v1  Book sections
Ronald CramerMatthieu RambaudChaoping Xing. Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPC
Advances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
hal-03800630v1  Book sections
Thomas AttemaRonald CramerMatthieu Rambaud. Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
hal-03779036v1  Book sections
Wojciech JamrogaDamian KurpiewskiVadim Malvone. Natural Strategic Abilities in Voting Protocols
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
hal-03779034v1  Conference papers
Francesco BelardinelliBorja G. LeónVadim Malvone. Enabling Markovian Representations under Imperfect Information
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
hal-03779030v1  Journal articles
Francesco BelardinelliAlessio LomuscioVadim MalvoneEmily Yu. Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
hal-03775550v1  Conference papers
Hassan ChaitouThomas RobertJean LeneutreLaurent Pautet. Assessing adversarial training effect on IDSs and GANs
2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
hal-03758375v1  Conference papers
Maxime AyraultEtienne BordeUlrich KühneJean Leneutre. Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
...
hal-03735961v1  Conference papers
Daniele SerafiniStefano Zacchiroli. Efficient Prior Publication Identification for Open Source Code
18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
...
hal-03723556v1  Conference papers
Zeinab Abou KhalilStefano Zacchiroli. Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis
ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
...
tel-03719946v1  Theses
Sameh Khalfaoui. Security bootstrapping for Internet of Things
Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
...
inserm-03719607v1  Journal articles
Martin KunevPetr KuznetsovDenis Sheynikhovich. Agreement in Spiking Neural Networks
Journal of Computational Biology, Mary Ann Liebert, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩
hal-03702493v1  Conference papers
Felipe Lisboa MalaquiasMihail AsavoaeFlorian Brandner. A Coq Framework for More Trustworthy DRAM Controllers
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
...
hal-03623109v1  Conference papers
Zeinab Abou KhalilStefano Zacchiroli. The General Index of Software Engineering Papers
MSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩