Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Hugo Pereira Pacheco
Investigador Sénior
Publicações
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
Almeida, JB;Olmos, SA;Barbosa, M;Barthe, G;Dupressoir, F;Grégoire, B;Laporte, V;Léchenet, JC;Low, C;Oliveira, T;Pacheco, H;Quaresma, M;Schwabe, P;Strub, PY;
2024
Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II
General-Purpose Secure Conflict-free Replicated Data Types
Portela, B;Pacheco, H;Jorge, P;Pontes, R;
2023
2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF
Delta Lenses over Inductive Types
Pacheco, H;Cunha, A;Hu, Z;
2012
ECEASST
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
Macedo, N;Pacheco, H;Cunha, A;
2012
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Teses Supervisionadas
Laser-induced breakdown spectroscopy: Innovative software tools to bridge the gap between science and technology
Diana Faria Capela
D - 2023
UP-FCUP
