Vitor Pereira
Orcid: 0000-0002-5721-9105Affiliations:
- University of Porto, FCUP, INESC TEC, Portugual
- SRI International, Computer Science Laboratory, CA, USA
According to our database1,
Vitor Pereira
authored at least 12 papers
between 2016 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Who Verifies the Verifiers?: Lessons Learned From Formally Verified Line-Point Zero-Knowledge.
IACR Commun. Cryptol., 2025
2023
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
J. Log. Algebraic Methods Program., 2022
2021
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
CoRR, 2021
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
PhD thesis, 2020
2019
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation.
IACR Cryptol. ePrint Arch., 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
2018
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
2016