Skip to Main content Skip to Navigation
New interface

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⟩
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-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-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⟩
tel-03719946v1  Theses
Sameh Khalfaoui. Security bootstrapping for Internet of Things
Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
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-03622621v1  Conference papers
Davide RossiStefano Zacchiroli. Geographic Diversity in Public Code Contributions
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩
hal-03624198v1  Conference papers
Stefano Zacchiroli. A Large-scale Dataset of (Open Source) License Text Variants
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩
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⟩
hal-03571837v1  Conference papers
Davide RossiStefano Zacchiroli. Worldwide Gender Differences in Public Code Contributions
44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
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-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-03569465v1  Journal articles
Sihem MesnagerBimal MandalMounira Msahli. Survey on recent trends towards generalized differential and boomerang uniformities
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , Springer, 2021, ⟨10.1007/s12095-021-00551-6⟩
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-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⟩
tel-03583890v1  Theses
Antoine Durand. Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
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-03560232v1  Conference papers
Petr KuznetsovVitaly AksenovVincent GramoliSrivatsan Ravi. Optimal Concurrency for List-Based Sets
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia