Publications

back

2023

ZHAO, J.; NEVES, M.; HAQUE, I. On the (dis)Advantages of Programmable NICs for Network Security Services. IFIP Networking 2023, Barcelona, Spain.

2022

TAJBAKHSH, H.; PARIZOTTO, R.; NEVES, M.; SCHAEFFER-FILHO, A.; HAQUE, I. Accelerator-Aware In-Network Load Balancing for Improved Application Performance. IFIP Networking 2022, Catania, Italy. [preprint] [code]

KUZNIAR, C.; NEVES, M.; GUREVICH, V.; HAQUE, I. IoT Device Fingerprinting on Commodity Switches. IEEE NOMS 2022, Budapest, Hungary. [preprint] [code]

SOUZA, P.; NEVES, M.; KAYSER, C.; RUBIN, F.; BOEIRA, C.; MOREIRA, J.; BORDIN, B.; FERRETO, T. Predicting and Avoiding SLA Violations of Containerized Applications using Machine Learning and Elasticity. In: 12th International Conference on Cloud Computing and Services Science (CLOSER), 2022, Virtual event. [preprint] (Best paper runner-up)

2021

SIDDIQUE, H.; NEVES, M.; KUZNIAR, C.; HAQUE, I. Towards Network-accelerated ML-based Distributed Computer Vision Systems. IEEE ICPADS 2021, Virtual event. [preprint]

BOEIRA, C.; NEVES, M.; FERRETO, T.; HAQUE, I. Characterizing network performance of single-node large-scale container deployments. IEEE CloudNet 2021, Virtual event. [pdf] [code]

WEBER, J.; NEVES, M.; FERRETO, T. VANET simulators: an updated review. In: Journal of the Brazilian Computer Society, 27, 8 (2021). DOI: 10.1186/s13173-021-00113-x.

NEVES, M.; HUFFAKER, B.; LEVCHENKO, K.; BARCELLOS, M.P. Dynamic Property Enforcement in Programmable Data Planes. In: IEEE/ACM Transactions on Networking. DOI: 10.1109/TNET.2021.3068339. (Impact factor: 3.315)

2020

SHOJAEE, M.; NEVES, M.; HAQUE, I. SafeGuard: Congestion and Memory-aware Failure Recovery in SD-WAN. IFIP/IEEE CNSM Mini Conference 2020, Virtual event. [pdf] [slides] [code]

2019

NEVES, M.; HUFFAKER, B.; LEVCHENKO, K.; BARCELLOS, M.P. Dynamic Property Enforcement in Programmable Data Planes. IFIP Networking 2019, Warsaw, Poland. [pdf] (Best paper runner-up)

2018

NEVES, M.; FREIRE, L.; SCHAEFFER-FILHO, A.; BARCELLOS, M.P. Verification of P4 programs in feasible time using assertions. ACM CoNEXT 2018, Heraklion, Greece. [pdf]

FREIRE, L.; NEVES, M.; LEAL, L.; SCHAEFFER-FILHO, A.; LEVCHENKO, K.; BARCELLOS, M.P. Uncovering Bugs in P4 Programs with Assertion-based Verification. In: 4th ACM Symposium on SDN Research (SOSR). Los Angeles, USA, March 2018.

2017

FREIRE, L. M.; NEVES, M. C.; SCHAEFFER-FILHO, A. E.; BARCELLOS, M. P. Combatendo vulnerabilidades em programas P4 com verificação baseada em asserções. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), 2017, Brasília.

ISOLANI, P. H.; LATRÉ, S.; OCAMPO, A. F.; GIL-HERRERA, J.; BOTERO, J. F.; NEVES, M. C.; BARCELLOS, M. P.; GASPARY, L. P. Optimal Service Function Chain Composition in NFV Resource Allocation, AIMS 2017, Springer LNCS V. 10356, Pages 1-14, Zurich, July 10-14.

2016

NEVES, M. C.; OLIVEIRA, R. R.; MAZZOLA, F. M.; MARCON, D. S.; GASPARY, L. P.; BARCELLOS, M. P. Contando os Segundos: Avaliação de Estratégias de Domínio Temporal para a Gerência de Regras em Redes SDN. In: Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2016.

MARCON, D. S.; NEVES, M. C.; OLIVEIRA, R. R.; GASPARY, L. P.; BARCELLOS, M. P. PredCloud: Providing Predictable Network Performance in Large-Scale OpenFlow-Enabled Cloud Platforms Through Trust-Based Allocation of Resources. In: Elsevier Journal of Computer Communications (COMCOM), 2016. DOI: 10.1016/j.comcom.2016.07.010.

2015

MARCON, D. S.; NEVES, M. C.; OLIVEIRA, R. R.; BAYS, L. R.; BOUTABA, R.; GASPARY, L. P.; BARCELLOS, M. P. IoNCloud: exploring application affinity to improve utilization and predictability in datacenters. In: IEEE International Conference on Communications (ICC 2015), 2015, London, England. Proceedings of the IEEE International Conference on Communications (ICC), 2015.

OLIVEIRA, R. R.; MARCON, D. S.; BAYS, L. R.; NEVES, M. C.; GASPARY, L. P.; MEDHI, D.; BARCELLOS, M. P. Opportunistic Resilience Embedding (ORE): Toward Cost-efficient Resilient Virtual Networks. In: Elsevier Computer Networks (COMNET), Volume 89, October 2015.

2013

MARCON, D. S.; BITTENCOURT, L. F.; DANTAS, R.; NEVES, M. C.; MADEIRA, E. R. M.; FERNANDES, S.; KAMIENSKI, C. A.; BARCELLOS, M. P.; GASPARY, L. P.; FONSECA, N. L. S. Workflow Specification and Scheduling with Security Constraints in Hybrid Clouds. In: IEEE Latin America Conference on Cloud Computing and Communications (LatinCloud), 2013, Maceió, AL, Brazil. Proceedings of the IEEE Latin America Conference on Cloud Computing and Communications (LatinCloud), 2013.

MARCON, D. S.; OLIVEIRA, R. R.; NEVES, M. C.; BURIOL, L. S.; GASPARY, L. P.; BARCELLOS, M. P. Trust-based Grouping for Cloud Datacenters: improving security in shared infrastructures. In: IFIP/TC6 Networking, 2013, New York.

OLIVEIRA, R. R.; MARCON, D. S.; BAYS, L. R.; NEVES, M. C.; BURIOL, L. S.; GASPARY, L. P.; BARCELLOS, M. P. No More Backups: Toward Efficient Embedding of Survivable Virtual Networks. In: IEEE International Conference on Communications (ICC), 2013, Budapest. Proceedings of the IEEE International Conference on Communications (ICC), 2013.

NEVES, M. C.; MARCON, D. S.; OLIVEIRA, R. R.; BAYS, L. R.; BURIOL, L. S.; GASPARY, L. P.; BARCELLOS, M. P. IoNCloud: uma abordagem não entrópica orientada a tráfego para reserva e isolamento de recursos em nuvens. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2013, Brasília. XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre: Sociedade Brasileira de Computação SBC, 2013. p. 1-14.

OLIVEIRA, R. R.; BAYS, L. R.; MARCON, D. S.; NEVES, M. C.; BURIOL, L. S.; GASPARY, L. P.; BARCELLOS, M. P. DoS-Resilient Virtual Networks through Multipath Embedding and Opportunistic Recovery. In: ACM Symposium on Applied Computing (SAC), 2013, Coimbra. Proceedings of the ACM Symposium on Applied Computing, 2013.

2012

MARCON, D. S.; NEVES, M. C.; OLIVEIRA, R. R.; BURIOL, L. S.; GASPARY, L. P.; BARCELLOS, M. P. Mitigando Ataques de Egoísmo e Negação de Serviço em Nuvens via Agrupamento de Aplicações. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), 2012, Curitiba. XII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais. Porto Alegre: Sociedade Brasileira de Computação SBC, 2012. p. 154-167.

OLIVEIRA, R. R.; BAYS, L. R.; MARCON, D. S.; NEVES, M. C.; BURIOL, L. S.; GASPARY, L. P.; BARCELLOS, M. P. Redes Virtuais Seguras: Uma Nova Abordagem de Mapeamento para Proteger contra Ataques de Disrupção na Rede Física. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), 2012, Curitiba. Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais. Porto Alegre: Sociedade Brasileira de Computação SBC, 2012. p. 235-248.

Posters & Abstracts

IFATH, M.; NEVES, M.; HAQUE, I. Raptor: rapid prototyping of distributed stream processing applications at scale. In: ACM CoNEXT Poster & Demo Session, Dec 2021.

KUZNIAR, C.; NEVES, M.; HAQUE, I. Accelerating Encrypted Data Stores Using Programmable Switches. In: IEEE ICNP Poster & Demo Session, Oct 2020.

NEVES, M. C.; LEVCHENKO, K. I.; BARCELLOS, M. P. Sandboxing Data Plane Programs for Fun and Profit. In: ACM SIGCOMM 2017 Poster & Demo Session, Aug 2017. (3rd prize for the ACM Student Research Competition at SIGCOMM)

FREIRE, L. M.; NEVES, M. C.; SCHAEFFER-FILHO, A. E.; BARCELLOS, M. P. Finding Vulnerabilities in P4 Programs with Assertion-based Verification. In: ACM CCS 2017 Poster, Nov 2017.

Thesis

On Time-based Strategies for Optimizing Flow Tables in SDN. Bachelor's Thesis. Federal University of Rio Grande do Sul (UFRGS). 2014.