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