Skip to Main content Skip to Navigation

hal-02520203v2  Conference papers
Ana BušicDiego KiedanskiAna BušicDaniel KofmanAriel Orda. Efficient distributed solutions for sharing energy resources at local level: a cooperative game approach
IEEE Conference on Decision and Control, Dec 2020, Jeju Island (Virtual Conference), South Korea
hal-02929841v1  Conference papers
Patrick TowaDamien Vergnaud. Succinct Diophantine-Satisfiability Arguments
Asiacrypt 2020 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea
hal-02929843v1  Conference papers
Olivier BlazyPatrick TowaDamien Vergnaud. Public-Key Generation with Verifiable Randomness
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea
hal-02943380v1  Conference papers
Dimitrios VasilasMarc ShapiroBradley KingSara Hamouda. Towards application-specific query processing systems
BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtual, France
hal-02929324v1  Conference papers
Francesco FoscarinAndrew McleodPhilippe RigauxFlorent JacquemardMasahiko Sakai. ASAP: a dataset of aligned scores and performances for piano transcription
ISMIR 2020 - 21st International Society for Music Information Retrieval, Oct 2020, Montreal / Virtual, Canada
hal-02867634v1  Conference papers
Gewu BuMaria Potop-ButucaruMikaël Rabie. Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
hal-02928232v1  Conference papers
Aleksandr ChueshevJulia LawallReda BendraouTewfik Ziadi. Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers
ICSME 2020 - International Conference on Software Maintenance and Evolution, Sep 2020, Adélaïde / Virtual, Australia
hal-02425000v1  Conference papers
Ferdinand Sibleyras. Low-Memory Attacks Against Two-Round Even-Mansour Using the 3-XOR Problem
Invited talk at NTT Secure Platform Laboratories, Sep 2020, Musashino, Japan
hal-02931554v2  Conference papers
Nic VolanschiJulia Lawall. The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20), Sep 2020, Virtual Event, Australia. ⟨10.1145/3324884.3416635⟩
hal-02940819v1  Master thesis
Theo Delemazure. A Knowledge Base of Mathematical Results
Artificial Intelligence [cs.AI]. 2020
hal-02948657v1  Conference papers
Michel AbdallaFlorian BourseHugo MarivalDavid PointchevalAzam Soleimanian et al.  Multi-Client Inner-Product Functional Encryption in the Random-Oracle Model
SCN 2020 - 12th International Conference Security and Cryptography for Networks., Sep 2020, Amalfi / Virtual, Italy. pp.525-545, ⟨10.1007/978-3-030-57990-6_26⟩
hal-02947265v1  Conference papers
Camille BourgauxAna OzakiRafael PeñalozaLivia Predoiu. Provenance for the Description Logic ELHr (Extended Abstract)
DL 2020 - 33rd International Workshop on Description Logics, Sep 2020, Rhodes / Virtual, Greece
hal-02947251v1  Conference papers
Meghyn BienvenuCamille Bourgaux. Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes / Virtual, Greece. pp.141-151, ⟨10.24963/kr.2020/15⟩
tel-02946399v1  Theses
Mélissa Rossi. Extended Security of Lattice-Based Cryptography
Cryptography and Security [cs.CR]. Équipe CASCADE, Département d'Informatique de l'ENS de Paris; Université PSL, 2020. English
hal-02879023v1  Journal articles
Keren Censor-HillelMikaël Rabie. Distributed Reconfiguration of Maximal Independent Sets
Journal of Computer and System Sciences, Elsevier, 2020, 112, pp.85-96. ⟨10.1016/j.jcss.2020.03.003⟩