Hugo José Pereira Pacheco


AuthID: R-001-JZH

Confirmed Publications: 36



11
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
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: 9 Unpaywall
IN MY: ORCID
12
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proença, J ;
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: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
13
TITLE: BiFluX: A Bidirectional Functional Update Language for XML
AUTHORS: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLISHED: 2017, SOURCE: Inf. Media Technol., VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID
14
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
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
INDEXED IN: Scopus WOS DBLP CrossRef: 86
IN MY: ORCID
15
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;
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: 2
IN MY: ORCID | CIÊNCIAVITAE
16
TITLE: A Tool-Chain for High-Assurance Cryptographic Software
AUTHORS: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106
INDEXED IN: WOS DBLP
17
TITLE: A Clear Picture of Lens Laws - Functional Pearl. Functional Pearl
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: MPC, VOLUME: 9129
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
18
TITLE: The essence of bidirectional programming  Full Text
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: Sci. China Inf. Sci., VOLUME: 58, ISSUE: 5
INDEXED IN: DBLP CrossRef: 25
IN MY: ORCID
19
TITLE: Bidirectional Spreadsheet Formulas
AUTHORS: Macedo, N ; Pacheco, H ; Sousa, NR; Cunha, A ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
20
TITLE: BiFluX: A Bidirectional Functional Update Language for XML. A Bidirectional Functional Update Language for XML  Full Text
AUTHORS: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
PUBLISHED: 2014, SOURCE: PPDP
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID
Page 2 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service