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