Hugo Pacheco

Orcid: 0000-0003-0720-7744

  • University of Minho, Braga, Portugal

According to our database1, Hugo Pacheco authored at least 31 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

General-Purpose Secure Conflict-free Replicated Data Types.
IACR Cryptol. ePrint Arch., 2023

Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch., 2023

A formal treatment of the role of verified compilers in secure computation.
J. Log. Algebraic Methods Program., 2022

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
IACR Cryptol. ePrint Arch., 2021

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
CoRR, 2021

ROSY: An elegant language to teach the pure reactive nature of robot programming.
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

Teaching how to program using automated assessment and functional glossy games (experience report).
Proc. ACM Program. Lang., 2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.
IACR Cryptol. ePrint Arch., 2018

Jasmin: High-Assurance and High-Speed Cryptography.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

A Tool-Chain for High-Assurance Cryptographic Software.
ERCIM News, 2016

The essence of bidirectional programming.
Sci. China Inf. Sci., 2015

A Clear Picture of Lens Laws - Functional Pearl.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Bidirectional spreadsheet formulas.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

BiFluX: A Bidirectional Functional Update Language for XML.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Monadic combinators for "Putback" style bidirectional programming.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Writing bidirectional model transformations as intentional updates.
Proceedings of the 36th International Conference on Software Engineering, 2014

Validity Checking of Putback Transformations in Bidirectional Programming.
Proceedings of the FM 2014: Formal Methods, 2014

Towards a Framework for Multidirectional Model Transformations.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Composing Least-change Lenses.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.
CoRR, 2013

Bidirectional data transformation by calculation
PhD thesis, 2012

Delta Lenses over Inductive Types.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas.
Proceedings of the Theory and Practice of Model Transformations, 2012

Bidirectional Transformation of Model-Driven Spreadsheets.
Proceedings of the Theory and Practice of Model Transformations, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Calculating with lenses: optimising bidirectional transformations.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Generic Point-free Lenses.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Mapping between Alloy Specifications and Database Implementations.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Algebraic Specialization of Generic Functions for Recursive Types.
Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

Coupled Schema Transformation and Data Conversion for XML and SQL.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007