Vitor Pereira
Vitor Pereira
HASLab | INESC TEC & FCUP, Universidade do Porto, Portugal
Verified email at inesctec.pt - Homepage
TitleCited byYear
A fast and verified software stack for secure function evaluation
JB Almeida, M Barbosa, G Barthe, F Dupressoir, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
142017
A fast and verified software stack for secure function evaluation
JB Almeida, M Barbosa, G Barthe, F Dupressoir, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
142017
A framework for robust traffic engineering using evolutionary computation
V Pereira, M Rocha, P Cortez, M Rio, P Sousa
IFIP International Conference on Autonomous Infrastructure, Management and …, 2013
72013
Optimizing Segment Routing using evolutionary computation
V Pereira, M Rocha, P Sousa
Procedia Computer Science 110, 312-319, 2017
52017
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018
42018
Comparison of single and multi-objective evolutionary algorithms for robust link-state routing
V Pereira, P Sousa, P Cortez, M Rio, M Rocha
International Conference on Evolutionary Multi-Criterion Optimization, 573-587, 2015
42015
A framework for improving routing configurations using multi-objective optimization mechanisms
P Sousa, V Pereira, P Cortez, M Rio, M Rocha
Udruga za komunikacijske i informacijske tehnologije, Fakultet …, 2016
32016
Automated Network Resilience Optimization Using Computational Intelligence Methods
V Pereira, M Rocha, P Sousa
Intelligent Distributed Computing IX, 485-495, 2016
22016
Robust Optimization of Intradomain Routing Using Evolutionary Algorithms
V Pereira, P Sousa, P Cortez, M Rio, M Rocha
Distributed Computing and Artificial Intelligence, 201-208, 2013
22013
Segment Routing Single Link Failure Congestion Optimization.
V Pereira, M Rocha, P Sousa
ICETE (1), 242-249, 2018
12018
Evolutionary computation at work for the optimization of link state routing protocols
V Pereira, P Sousa, M Rocha
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2017
12017
A Machine-Checked Proof of Security for AWS Key Management Service
JB Almeida, M Barbosa, G Barthe, M Campagna, E Cohen, B Gregoire, ...
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
2019
A high-assurance evaluator for machine-checked secure multiparty computation
K Eldefrawy, V Pereira
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
2019
Intradomain routing optimization based on evolutionary computation
VMS Pereira
2019
A Tool-Chain for High-Assurance Cryptographic Software
JB Almeida, M Barbosa, HP Pacheco, V Pereira
2016
A deductive verification tool for cryptographic software
VMP Pereira
2015
Engenharia de tráfego robusta usando computação evolucionária para otimização de protocolos de encaminhamento
V Pereira
2012
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation
K Eldefrawy, V Pereira
The system can't perform the operation now. Try again later.
Articles 1–18