Hugo Pacheco

According to our database, Hugo Pacheco authored at least 33 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.

José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2024

2023

Formally verifying Kyber Episode IV: Implementation correctness.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

General-Purpose Secure Conflict-free Replicated Data Types.

Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes

IACR Cryptol. ePrint Arch., 2023

Formally verifying Kyber Part I: Implementation Correctness.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2023

2022

A formal treatment of the role of verified compilers in secure computation.

José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

J. Log. Algebraic Methods Program., 2022

2021

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

José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

IACR Cryptol. ePrint Arch., 2021

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

José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

CoRR, 2021

2020

ROSY: An elegant language to teach the pure reactive nature of robot programming.

Hugo Pacheco, Nuno Macedo

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

2018

Teaching how to program using automated assessment and functional glossy games (experience report).

José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença

Proc. ACM Program. Lang., 2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

IACR Cryptol. ePrint Arch., 2018

2017

BiFluX: A Bidirectional Functional Update Language for XML.

Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu

Inf. Media Technol., 2017

Jasmin: High-Assurance and High-Speed Cryptography.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

A Tool-Chain for High-Assurance Cryptographic Software.

José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira

ERCIM News, 2016

2015

The essence of bidirectional programming.

Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco

Sci. China Inf. Sci., 2015

A Clear Picture of Lens Laws - Functional Pearl.

Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

Bidirectional spreadsheet formulas.

Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

BiFluX: A Bidirectional Functional Update Language for XML.

Hugo Pacheco, Tao Zan, Zhenjiang Hu

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Monadic combinators for "Putback" style bidirectional programming.

Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Writing bidirectional model transformations as intentional updates.

Tao Zan, Hugo Pacheco, Zhenjiang Hu

Proceedings of the 36th International Conference on Software Engineering, 2014

Validity Checking of Putback Transformations in Bidirectional Programming.

Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer

Proceedings of the FM 2014: Formal Methods, 2014

Towards a Framework for Multidirectional Model Transformations.

Nuno Macedo, Alcino Cunha, Hugo Pacheco

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Composing Least-change Lenses.

Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.

Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer

CoRR, 2013

2012

Bidirectional data transformation by calculation

Hugo Pacheco

PhD thesis, 2012

Delta Lenses over Inductive Types.

Hugo Pacheco, Alcino Cunha, Zhenjiang Hu

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas.

Hugo Pacheco, Alcino Cunha

Proceedings of the Theory and Practice of Model Transformations, 2012

Bidirectional Transformation of Model-Driven Spreadsheets.

Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva

Proceedings of the Theory and Practice of Model Transformations, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.

Nuno Macedo, Hugo Pacheco, Alcino Cunha

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Calculating with lenses: optimising bidirectional transformations.

Hugo Pacheco, Alcino Cunha

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

Generic Point-free Lenses.

Hugo Pacheco, Alcino Cunha

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Mapping between Alloy Specifications and Database Implementations.

Alcino Cunha, Hugo Pacheco

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Algebraic Specialization of Generic Functions for Recursive Types.

Alcino Cunha, Hugo Pacheco

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

2007

Coupled Schema Transformation and Data Conversion for XML and SQL.

Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007