Hugo Pacheco
Orcid: 0000-0003-0720-7744Affiliations:
- University of Minho, Braga, Portugal
According to our database1,
Hugo Pacheco
authored at least 33 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
3
1
2
2
1
1
1
2
1
1
1
1
6
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.
IACR Cryptol. ePrint Arch., 2024
2023
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023
IACR Cryptol. ePrint Arch., 2023
IACR Cryptol. ePrint Arch., 2023
2022
J. Log. Algebraic Methods Program., 2022
2021
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
2020
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).
Proc. ACM Program. Lang., 2018
IACR Cryptol. ePrint Arch., 2018
2017
Inf. Media Technol., 2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
2016
2015
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
2014
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Theory and Practice of Model Transformations, 2012
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
2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
2008
Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008
2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007