Skip to Main content Skip to Navigation

hal-01406954v1  Directions of work or proceedings
Pascale CharpinThomas JohanssonGohar KyureghyanNicolas SendrierJean-Pierre Tillich. Special issue on coding and cryptography
France. Springer, 2016, Design, Codes and Cryptography - Special issue on coding and cryptography, ⟨10.1007/s10623-016-0307-3⟩
hal-01955305v1  Master thesis
Daniel Coggia. On subspace trails cryptanalysis
Cryptography and Security [cs.CR]. 2018
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
inria-00555008v1  Journal articles
Sho SuzukiKeiichirou KusakariFrédéric Blanqui. Argument filterings and usable rules in higher-order rewrite systems
IPSJ Transactions on Programming, IPSJ, 2011, 4 (2), pp.1-12
tel-01950884v2  Theses
Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations
Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
hal-01111558v1  Journal articles
Ishay HavivOded Regev. Tensor-based Hardness of the Shortest Vector Problem to within Almost Polynomial Factors
Theory of Computing, University of Chicago, Department of Computer Science, 2012, 8 (1), pp.513-531. ⟨10.4086/toc.2012.v008a023⟩
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
hal-01094106v1  Journal articles
Anna PappaPaul JouguetThomas LawsonAndré ChaillouxMatthieu Legré et al.  Experimental plug and play quantum coin flipping
Nature Communications, Nature Publishing Group, 2014, pp.9. ⟨10.1038/ncomms4717⟩
hal-01666104v1  Journal articles
Thomas WilliamsDidier Rémy. A Principled Approach to Ornamentation in ML
Proceedings of the ACM on Programming Languages, ACM, 2018, pp.1-30. ⟨10.1145/3158109⟩
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-02297690v1  Journal articles
Théophile BastianStephen KellFrancesco Zappa Nardelli. Reliable and Fast DWARF-Based Stack Unwinding
Proceedings of the ACM on Programming Languages, ACM, 2019, OOPSLA, ⟨10.1145/3360572⟩
hal-02399565v1  Journal articles
Ugo Dal LagoMarc de VismeDamiano MazzaAkira Yoshimizu. Intersection Types and Runtime Errors in the Pi-Calculus
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290320⟩
hal-01949207v1  Journal articles
Niki VazouÉric TanterDavid van Horn. Gradual liquid type inference
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (OOPSLA), pp.1-25. ⟨10.1145/3276502⟩
hal-02399594v1  Journal articles
Joseph EremondiÉric TanterRonald Garcia. Approximate normalization for gradual dependent types
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-30. ⟨10.1145/3341692⟩
hal-01859964v2  Journal articles
Gaëtan GilbertJesper CockxMatthieu SozeauNicolas Tabareau. Definitional Proof-Irrelevance without K
Proceedings of the ACM on Programming Languages, ACM, 2019, POPL'19, pp.1-28. ⟨10.1145/329031610.1145/3290316⟩
hal-02398927v1  Journal articles
Kenji MaillardCătălin HriţcuExequiel RivasAntoine van Muylder. The Next 700 Relational Program Logics
Proceedings of the ACM on Programming Languages, ACM, In press, 4 (POPL)