Vitor Pereira

According to our database, Vitor Pereira authored at least 11 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.

Samuel Dittmer, Karim Eldefrawy, Stéphane Graham-Lengrand, Steve Lu, Rafail Ostrovsky, Vitor Pereira

IACR Cryptol. ePrint Arch., 2023

2022

A formal treatment of the role of verified compilers in secure computation.

José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

J. Log. Algebraic Methods Program., 2022

2021

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.

José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

IACR Cryptol. ePrint Arch., 2021

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.

José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira

CoRR, 2021

2020

Integrated Verification of Cryptographic Security Proofs and Implementations

Vitor Pereira

PhD thesis, 2020

2019

A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation.

Karim Eldefrawy, Vitor Pereira

IACR Cryptol. ePrint Arch., 2019

A Machine-Checked Proof of Security for AWS Key Management Service.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran

IACR Cryptol. ePrint Arch., 2019

A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation.

Karim Eldefrawy, Vitor Pereira

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela

IACR Cryptol. ePrint Arch., 2018

2017

A Fast and Verified Software Stack for Secure Function Evaluation.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira

IACR Cryptol. ePrint Arch., 2017

2016

A Tool-Chain for High-Assurance Cryptographic Software.

José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira

ERCIM News, 2016