Vitor Manuel Parreira Pereira


AuthID: R-00G-VYV

Confirmed Publications: 3



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 ;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: Scopus WOS DBLP CrossRef
2
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
3
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
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: 21 Unpaywall

footer slogan

Useful Links

Get Help

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