EN FR
EN FR


previous Previous | up Home | Next next


Section: Highlights of the Year

Highlights of the Year

  • We published 12 papers at top-tier conferences and journals such as S&P (1), POPL (2), Euro S&P (2), ICFP (3), CSF (1), ESOP (1)

  • Our cryptographic library HACL* was incorporated within the Linux kernel, Microsoft WinQuic, mbedTLS, and Concordium, in addition to the prior deployments in Mozilla Firefox and Tezos Blockchain

  • Catalin Hritcu served as Program Chair of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Awards

  • EU Horizon Impact Award 2019 for Karthikeyan Bhargavan for his research on TLS 1.3.

  • Distinguished Paper Award at CSF'19 for “Journey Beyond Full Abstraction”

  • Distinguished Paper Award at POPL'19 for “Gradual Parametricity, Revisited”

Best Papers Awards:
[17]
C. Abate, R. Blanco, D. Garg, C. Hriţcu, M. Patrignani, J. Thibault.

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation, in: CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Hoboken, United States, IEEE, June 2019, pp. 256-271, https://arxiv.org/abs/1807.04603. [ DOI : 10.1109/CSF.2019.00025 ]

https://hal.archives-ouvertes.fr/hal-02398915


[16]
M. Toro, E. Labrada, É. Tanter.

Gradual Parametricity, Revisited, in: Proceedings of the ACM on Programming Languages, 2019, vol. 3, no POPL, https://arxiv.org/abs/1807.04596. [ DOI : 10.1145/3290330 ]

https://hal.archives-ouvertes.fr/hal-01960553




previous Previous | up Home | Next next