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: Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head Full Text
AUTORES: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLICAÇÃO: 2021, FONTE: 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
AUTORES: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLICAÇÃO: 2021, FONTE: 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
4
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)
5
TÃTULO: A Machine-Checked Proof of Security for AWS Key Management Service Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
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: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
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)
