Follow
Miguel Neves
Miguel Neves
Postdoctoral researcher, Dalhousie University
Verified email at dal.ca - Homepage
Title
Cited by
Cited by
Year
Uncovering bugs in p4 programs with assertion-based verification
L Freire, M Neves, L Leal, K Levchenko, A Schaeffer-Filho, M Barcellos
Proceedings of the Symposium on SDN Research, 1-7, 2018
882018
VANET simulators: an updated review
JS Weber, M Neves, T Ferreto
Journal of the Brazilian Computer Society 27 (1), 1-31, 2021
712021
Optimal service function chain composition in network functions virtualization
AF Ocampo, J Gil-Herrera, PH Isolani, MC Neves, JF Botero, S Latré, ...
IFIP International Conference on Autonomous Infrastructure, Management and …, 2017
422017
Verification of p4 programs in feasible time using assertions
M Neves, L Freire, A Schaeffer-Filho, M Barcellos
Proceedings of the 14th International Conference on emerging Networking …, 2018
402018
Dos-resilient virtual networks through multipath embedding and opportunistic recovery
RR Oliveira, LR Bays, DS Marcon, MC Neves, LS Buriol, LP Gaspary, ...
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 597-602, 2013
242013
No more backups: Toward efficient embedding of survivable virtual networks
RR Oliveira, DS Marcon, LR Bays, MC Neves, LS Buriol, LP Gaspary, ...
2013 IEEE International Conference on Communications (ICC), 2128-2132, 2013
192013
SafeGuard: Congestion and Memory-aware Failure Recovery in SD-WAN
M Shojaee, M Neves, I Haque
2020 16th International Conference on Network and Service Management (CNSM), 1-7, 2020
182020
Trust-based grouping for cloud datacenters: improving security in shared infrastructures
DS Marcon, RR Oliveira, MC Neves, LS Buriol, LP Gaspary, MP Barcellos
2013 IFIP Networking Conference, 1-9, 2013
182013
Workflow specification and scheduling with security constraints in hybrid clouds
DS Marcon, LF Bittencourt, R Dantas, MC Neves, ERM Madeira, ...
2nd IEEE Latin American Conference on Cloud Computing and Communications, 29-34, 2013
172013
Opportunistic resilience embedding (ORE): Toward cost-efficient resilient virtual networks
RR Oliveira, DS Marcon, LR Bays, MC Neves, LP Gaspary, D Medhi, ...
Computer Networks 89, 59-77, 2015
152015
Dynamic Property Enforcement in Programmable Data Planes
M Neves, B Huffaker, K Levchenko, M Barcellos
2019 IFIP Networking Conference (IFIP Networking), 1-9, 2019
102019
Towards Network-accelerated ML-based Distributed Computer Vision Systems
H Siddique, M Neves, C Kuzniar, I Haque
2021 IEEE 27th International Conference on Parallel and Distributed Systems …, 2021
92021
PredCloud: Providing predictable network performance in large-scale OpenFlow-enabled cloud platforms through trust-based allocation of resources
DS Marcon, MC Neves, RR Oliveira, LP Gaspary, MP Barcellos
Computer Communications 91, 44-61, 2016
82016
IoT Device Fingerprinting on Commodity Switches
C Kuzniar, M Neves, V Gurevich, I Haque
NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, 1-9, 2022
72022
Accelerator-Aware In-Network Load Balancing for Improved Application Performance
H Tajbakhsh, R Parizotto, M Neves, A Schaeffer-Filho, I Haque
2022 IFIP Networking Conference (IFIP Networking), 1-9, 2022
62022
POSTER: Finding vulnerabilities in P4 programs with assertion-based verification
L Freire, M Neves, A Schaeffer-Filho, M Barcellos
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
62017
Sandboxing data plane programs for fun and profit
M Neves, K Levchenko, M Barcellos
Proceedings of the SIGCOMM Posters and Demos, 103-104, 2017
52017
POSTER: Accelerating Encrypted Data Stores Using Programmable Switches
C Kuzniar, M Neves, I Haque
2020 IEEE 28th International Conference on Network Protocols (ICNP), 1-2, 2020
32020
Characterizing network performance of single-node large-scale container deployments
C Boeira, M Neves, T Ferreto, I Haque
2021 IEEE 10th International Conference on Cloud Networking (CloudNet), 97-103, 2021
22021
On the (dis) Advantages of Programmable NICs for Network Security Services
J Zhao, M Neves, I Haque
2023 IFIP Networking Conference (IFIP Networking), 1-9, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20