1
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
TYPE: Proceedings Paper, PUBLISHED: 2020, SOURCE: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
3
TITLE: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
TYPE: Unpublished, PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.03262
INDEXED IN: DBLP arXiv
IN MY: DBLP
4
TITLE: Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
TYPE: Unpublished, PUBLISHED: 2018, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
TYPE: Proceedings Paper, PUBLISHED: 2018, SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
6
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Jose Bacelar Almeida ; Alcino Cunha ; Nuno Macedo ; Hugo Pacheco ; Jose Proenca ;
TYPE: Proceedings Paper, PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
7
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
TYPE: Proceedings Paper, PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP
8
TITLE: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
TYPE: Proceedings Paper, PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
9
TITLE: A Tool-Chain for High-Assurance Cryptographic Software
AUTHORS: Jose Almeida ; Manuel Barbosa ; Hugo Pacheco ; Vitor Pereira;
TYPE: Article, PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106
INDEXED IN: WOS DBLP
IN MY: DBLP
10
TITLE: BiFluX: A bidirectional functional update language for XML
AUTHORS: Zan, T; Pacheco, H ; Ko, HS; Hu, Z;
TYPE: Article, PUBLISHED: 2016, SOURCE: Computer Software, VOLUME: 33, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID
Page 1 of 4. Total results: 32.