Hugo Pacheco

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 20

Top Topics

Multivalued Dependencies

Formal Treatment

Robot Programming

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. IACR Cryptol. ePrint Arch. 2024 (2024)
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
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) (2024)
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
Formally verifying Kyber Part I: Implementation Correctness. IACR Cryptol. ePrint Arch. 2023 (2023)
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
Formally verifying Kyber Episode IV: Implementation correctness. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023 (3) (2023)
Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes
General-Purpose Secure Conflict-free Replicated Data Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes
General-Purpose Secure Conflict-free Replicated Data Types. CSF (2023)
José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
A formal treatment of the role of verified compilers in secure computation. J. Log. Algebraic Methods Program. 125 (2022)
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CoRR (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CCS (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptol. ePrint Arch. 2021 (2021)
Hugo Pacheco, Nuno Macedo
ROSY: An elegant language to teach the pure reactive nature of robot programming. IRC (2020)
Hugo Pacheco, Nuno Macedo
ROSY: An elegant language to teach the pure reactive nature of robot programming. CoRR (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. IACR Cryptol. ePrint Arch. 2018 (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. CSF (2018)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença
Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub
Jasmin: High-Assurance and High-Speed Cryptography. CCS (2017)
Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. 12 (2017)
José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira
A Tool-Chain for High-Assurance Cryptographic Software. ERCIM News 2016 (106) (2016)
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
A Clear Picture of Lens Laws - Functional Pearl. MPC (2015)
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
The essence of bidirectional programming. Sci. China Inf. Sci. 58 (5) (2015)
Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
Validity Checking of Putback Transformations in Bidirectional Programming. FM (2014)
Tao Zan, Hugo Pacheco, Zhenjiang Hu
Writing bidirectional model transformations as intentional updates. ICSE Companion (2014)
Nuno Macedo, Alcino Cunha, Hugo Pacheco
Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops (2014)
Hugo Pacheco, Tao Zan, Zhenjiang Hu
BiFluX: A Bidirectional Functional Update Language for XML. PPDP (2014)
Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha
Bidirectional spreadsheet formulas. VL/HCC (2014)
Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer
Monadic combinators for "Putback" style bidirectional programming. PEPM (2014)
Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
A Generic Scheme and Properties of Bidirectional Transformations. CoRR (2013)
Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Nuno Macedo, Hugo Pacheco, Alcino Cunha
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS (2012)
Hugo Pacheco, Alcino Cunha
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas. ICMT@TOOLS (2012)
Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva
Bidirectional Transformation of Model-Driven Spreadsheets. ICMT@TOOLS (2012)
Hugo Pacheco, Alcino Cunha
Calculating with lenses: optimising bidirectional transformations. PEPM (2011)
Alcino Cunha, Hugo Pacheco
Algebraic Specialization of Generic Functions for Recursive Types. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Hugo Pacheco, Alcino Cunha
Generic Point-free Lenses. MPC (2010)
Alcino Cunha, Hugo Pacheco
Mapping between Alloy Specifications and Database Implementations. SEFM (2009)
Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
Coupled Schema Transformation and Data Conversion for XML and SQL. PADL (2007)