Vitor Pereira

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 26

Top Topics

Computational Intelligence

Evolutionary Computation

Formal Treatment

Traffic Engineering

Top Venues

IACR Cryptol. ePrint Arch.

Intelligent Environments (Workshops)

Publications

José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
A formal treatment of the role of verified compilers in secure computation. J. Log. Algebraic Methods Program. 125 (2022)
Vitor Pereira, Miguel Rocha
Combinatorial Optimization of Succinate Production in Escherichia coli. PACBB (2021)
Vitor Pereira, Fernando Cruz, Miguel Rocha
MEWpy: a computational strain optimization workbench in Python. Bioinform. 37 (16) (2021)
Tiago Sousa, João Correia, Vitor Pereira, Miguel Rocha
Combining Multi-objective Evolutionary Algorithms with Deep Generative Models Towards Focused Molecular Design. EvoApplications (2021)
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CoRR (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CCS (2021)
Tiago Sousa, João Correia, Vitor Pereira, Miguel Rocha
Generative Deep Learning for Targeted Compound Design. J. Chem. Inf. Model. 61 (11) (2021)
José Bacelar Almeida, Manuel Barbosa, Manuel L. Correia, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. IACR Cryptol. ePrint Arch. 2021 (2021)
Vitor Pereira, Miguel Rocha, Pedro Sousa
Traffic Engineering With Three-Segments Routing. IEEE Trans. Netw. Serv. Manag. 17 (3) (2020)
Karim Eldefrawy, Vitor Pereira
A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation. CCS (2019)
Karim Eldefrawy, Vitor Pereira
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation. IACR Cryptol. ePrint Arch. 2019 (2019)
Vitor Pereira, Miguel Rocha, Pedro Sousa
Hybrid IP/SDN Routing for Inter-Data Center Communications. CloudNet (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. CCS (2019)
Vitor Pereira, Miguel Rocha, Pedro Sousa
Segment Routing Single Link Failure Congestion Optimization. ICETE (1) (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. IACR Cryptol. ePrint Arch. 2018 (2018)
Vitor Pereira, Filipe Tavares, Petya Mihaylova, Valeri M. Mladenov, Petia Georgieva
Factor Analysis for Finding Invariant Neural Descriptors of Human Emotions. Complex. 2018 (2018)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. CSF (2018)
Vitor Pereira, Sérgio Matos, José Luís Oliveira
Automated ICD-9-CM medical coding of diabetic patient's clinical reports. DATA (2018)
Vitor Pereira, Pedro Sousa, Miguel Rocha
Evolutionary computation at work for the optimization of link state routing protocols. GECCO (Companion) (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
A Fast and Verified Software Stack for Secure Function Evaluation. IACR Cryptol. ePrint Arch. 2017 (2017)
Bruno Ferreira, Rui Gabriel Azevedo Silva, Vitor Pereira
Feature selection using non-binary decision trees applied to condition monitoring. ETFA (2017)
Vitor Pereira, Miguel Rocha, Pedro Sousa
Optimizing Segment Routing using Evolutionary Computation. FNC/MobiSPC (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
A Fast and Verified Software Stack for Secure Function Evaluation. CCS (2017)
José Bacelar Almeida, Manuel Barbosa, Hugo Pacheco, Vitor Pereira
A Tool-Chain for High-Assurance Cryptographic Software. ERCIM News 2016 (106) (2016)
Vitor Pereira, Miguel Rocha, Pedro Sousa
Optimizing Load Balancing Routing Mechanisms with Evolutionary Computation. Intelligent Environments (Workshops) (2016)
Vitor Pereira, Miguel Rocha, Pedro Sousa
Automated Network Resilience Optimization Using Computational Intelligence Methods. IDC (2015)
Vitor Pereira, Pedro Sousa, Paulo Cortez, Miguel Rio, Miguel Rocha
Comparison of Single and Multi-objective Evolutionary Algorithms for Robust Link-State Routing. EMO (2) (2015)
Vitor Pereira, Pedro Sousa, Paulo Cortez, Miguel Rio, Miguel Rocha
Robust Optimization of Intradomain Routing Using Evolutionary Algorithms. DCAI (2013)
Pio Balmelli, John M. Khoury, Eduardo Viegas, Paulo Santos, Vitor Pereira, Jeffrey Alderson, Richard Beale
A Low-EMI 3-W Audio Class-D Amplifier Compatible With AM/FM Radio. IEEE J. Solid State Circuits 48 (8) (2013)
Luís Filipe Teófilo, Luís Paulo Reis, Henrique Lopes Cardoso, Dinis Félix, Rui Sêca, João M. Ferreira Calado, Pedro Mendes, Nuno Cruz, Vitor Pereira, Nuno Passos
Computer Poker Research at LIACC CoRR (2013)
Vitor Pereira, Miguel Rocha, Paulo Cortez, Miguel Rio, Pedro Sousa
A Framework for Robust Traffic Engineering Using Evolutionary Computation. AIMS (2013)
Pio Balmelli, John M. Khoury, Eduardo Viegas, Paulo Santos, Vitor Pereira
Linearization of class D amplifiers. CICC (2012)