Hugo Pacheco

Available identifiers

zbMath Open pacheco.hugoMaRDI QIDQ2669245

List of research outcomes

Publication	Date of Publication	Type
Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt	2024-12-04	Paper
A formal treatment of the role of verified compilers in secure computation	2022-03-09	Paper
A Clear Picture of Lens Laws	2015-08-27	Paper
Algebraic Specialization of Generic Functions for Recursive Types	2014-06-27	Paper
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants	2012-09-21	Paper
Generic Point-free Lenses	2010-07-26	Paper

Research outcomes over time

This page was built for person: Hugo Pacheco