Welcome to the collection of IRIF laboratory - UMR 8243
Institut de Recherche en Informatique Fondamentale (IRIF) is a research unit co-founded by CNRS and Université Paris Cité, as UMR 8243. It results from the merging of the two research units LIAFA and PPS on January 1st, 2016. IRIF hosts one Inria project-team. IRIF is also member of Fondation Sciences Mathématiques de Paris (FSMP), and of three regional programs: Math Innov, Computer Sciences, Quantum Technologies.
The research conducted at IRIF is based on the study and understanding of the foundations of all computer science, in order to provide innovative solutions to the current and future challenges of digital sciences. In particular, IRIF is renown for its contributions to the design and analysis of algorithms, the study of computational and data representation models, the foundations of programming languages, software development, verification, and certification. IRIF also conducts interdisciplinary research taking advantage of its scientific approach.
•This collection contains only publications submitted on the initiative of their authors and is therefore not representative of all IRIF publications. Any statistical study of this collection could only be wrong. However, IRIF encourages its members to regularly deposit their publications in this collection.•
LATEST PUBLICATIONS
-
Chris Brzuska, Geoffroy Couteau, Christoph Egger, Pihla Karanko, Pierre Meyer. Instantiating the Hash-Then-Evaluate Paradigm: Strengthening PRFs, PCFs, and OPRFs. 14th International Conference on Security and Cryptography for Networks (SCN 2024), Sep 2024, Amalfi, Italy. pp.97-116, ⟨10.1007/978-3-031-71073-5_5⟩. ⟨hal-04692913⟩
-
Neha Rino, Mohammed Foughali, Eugene Asarin. Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. Joint International Conference on Quantitative Evaluation of SysTems & nternational Conference on Formal Modeling and Analysis of Timed Systems (QEST+FORMATS), Sep 2024, Calgary, Canada. ⟨hal-04622387⟩
REFERENCES491 |
FULL-TEXT852 |
Open Access
88 %
KEY WORDS