Vitor Manuel Parreira Pereira
AuthID: R-00G-VYV
1
TITLE: Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge
AUTHORS: Samuel Dittmer; Karim Eldefrawy; Stéphane Graham-Lengrand; Steve Lu; Rafail Ostrovsky; Vitor Pereira;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
AUTHORS: Samuel Dittmer; Karim Eldefrawy; Stéphane Graham-Lengrand; Steve Lu; Rafail Ostrovsky; Vitor Pereira;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
2
TITLE: A formal treatment of the role of verified compilers in secure computation
AUTHORS: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
AUTHORS: Bacelar Almeida, Jose Carlos ; Barbosa, Manuel ; Barthe, Gilles ; Pacheco, Hugo ; Pereira, Vitor; Portela, Bernardo ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
3
TITLE: A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation
AUTHORS: Eldefrawy, K; Pereira, V;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
AUTHORS: Eldefrawy, K; Pereira, V;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
