Vitor Pereira
Vitor Pereira
HASLab | INESC TEC & FCUP, Universidade do Porto, Portugal
Verified email at inesctec.pt - Homepage
Title
Cited by
Cited by
Year
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
202017
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
202017
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
82013
Optimizing segment routing using evolutionary computation
V Pereira, M Rocha, P Sousa
Elsevier, 2017
62017
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
62015
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
52018
A framework for improving routing configurations using multi-objective optimization mechanisms
P Sousa, V Pereira, P Cortez, M Rio, M Rocha
Journal of Communications Software and Systems 12 (3), 145-156, 2016
42016
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
32019
Segment Routing Single Link Failure Congestion Optimization.
V Pereira, M Rocha, P Sousa
ICETE (1), 242-249, 2018
32018
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
22019
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
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
Traffic Engineering with Three-Segments Routing
V Pereira, M Rocha, P Sousa
IEEE Transactions on Network and Service Management, 2020
2020
Hybrid IP/SDN Routing for Inter-Data Center Communications
V Pereira, M Rocha, P Sousa
2019 IEEE 8th International Conference on Cloud Networking (CloudNet), 1-3, 2019
2019
Intradomain routing optimization based on evolutionary computation
VMS Pereira
2019
A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation.
K Eldefrawy, V Pereira
IACR Cryptol. ePrint Arch. 2019, 922, 2019
2019
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
HP Pacheco, BL Portela, VP Pereira, JB Almeida, M Barbosa, G Barthe
2018
A deductive verification tool for cryptographic software
VMP Pereira
2016
A Tool-Chain for High-Assurance Cryptographic Software
JB Almeida, M Barbosa, HP Pacheco, V Pereira
2016
The system can't perform the operation now. Try again later.
Articles 1–20