Hugo Pacheco

Cited by

	All	Since 2020
Citations	831	360
h-index	16	9
i10-index	22	9

100

2008200920102011201220132014201520162017201820192020202120222023202420259 5 11 16 44 37 56 40 73 38 60 64 70 49 58 70 91 20

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Tiago OliveiraSandboxAQVerified email at sandboxquantum.com
Tao ZanLongyan UniversityVerified email at lyun.edu.cn
Benedikt SchmidtSnowflakeVerified email at snowflake.com
Vitor PereiraSRI InternationalVerified email at sri.com
Bernardo PortelaINESC TEC, FCUPVerified email at fc.up.pt
Jácome CunhaAssociate Professor at DEI, Faculty of Engineering, University of Porto & HASLab/INESC TECVerified email at fe.up.pt
João SaraivaDepartment of Informatics, University of Minho and HASLab / INESC TECVerified email at di.uminho.pt
Jorge MendesFlanders Marine Institute (VLIZ)Verified email at vliz.be
João Paulo FernandesVisiting Associate Professor, NYUADVerified email at fe.up.pt
Peter SchwabeMPI-SP and Radboud UniversityVerified email at mpi-sp.org
Miguel QuaresmaPhD Student, MPI-SPVerified email at mpi-sp.org
Santiago Arranz OlmosPhD student, Max Planck Institute for Security and PrivacyVerified email at mpi-sp.org

Hugo Pacheco

HasLab, INESC TEC & DCC, FCUP, University of Porto

Verified email at inesctec.pt - Homepage

Formal Methods Cryptography Secure Multi-Party Computation Bidirectional Transformation Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Jasmin: High-assurance and high-speed cryptography JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	200	2017
Bidirectional transformation of model-driven spreadsheets J Cunha, JP Fernandes, J Mendes, H Pacheco, J Saraiva International Conference on Theory and Practice of Model Transformations …, 2012	71	2012
The essence of bidirectional programming S Fischer, Z Hu, HP Pacheco	59*	2015
Monadic Combinators for “Putback” Style Bidirectional Programming H Pacheco, Z Hu, S Fischer ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation …, 2014	50	2014
Generic point-free lenses H Pacheco, A Cunha Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010	43	2010
BiFluX: A bidirectional functional update language for XML H Pacheco, T Zan, Z Hu Proceedings of the 16th International Symposium on Principles and Practice …, 2014	39	2014
Coupled schema transformation and data conversion for XML and SQL P Berdaguer, A Cunha, H Pacheco, J Visser Practical Aspects of Declarative Languages: 9th International Symposium …, 2007	39	2007
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco	31	2014
A clear picture of lens laws S Fischer, Z Hu, H Pacheco Mathematics of Program Construction, 2015	29*	2015
Delta lenses over inductive types H Pacheco, A Cunha, Z Hu Electronic Communications of the European Association of Software Science …, 2012	29	2012
Validity checking of putback transformations in bidirectional programming Z Hu, H Pacheco, S Fischer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	26	2014
Formally verifying Kyber Part I: Implementation Correctness HP Pacheco, M Barbosa, JB Almeida	23*	2023
Mapping between alloy specifications and database implementations A Cunha, H Pacheco 2009 Seventh IEEE International Conference on Software Engineering and …, 2009	19	2009
Teaching how to program using automated assessment and functional glossy games (experience report) JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença Proceedings of the ACM on Programming Languages 2 (ICFP), 1-17, 2018	18	2018
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018	16	2018
Composing Least-change Lenses N Macedo, H Pacheco, A Cunha, JN Oliveira Proc. BX 2, 18, 2013	16	2013
Machine-checked ZKP for NP relations: Formally verified security proofs and implementations of MPC-in-the-head JB Almeida, M Barbosa, ML Correia, K Eldefrawy, S Graham-Lengrand, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021	15	2021
Calculating with lenses: optimising bidirectional transformations H Pacheco, A Cunha Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011	15	2011
Writing bidirectional model transformations as intentional updates T Zan, H Pacheco, Z Hu Companion Proceedings of the 36th International Conference on Software …, 2014	14	2014
Bidirectional Data Transformation by Calculation H Pacheco Universidade do Minho, 2012	12	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors