|
|
|
| e-Pub |
Previous | 
Home
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]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]
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