Miguel Cardoso Neves

I am a PhD student in Computer Science at the Institute of Informatics of the Federal University of Rio Grande do Sul (UFRGS). My supervisor is Prof. Marinho Barcellos. Currently, I'm visiting UC San Diego under the supervision of Dr. Kirill Levchenko. I got a B.Eng. degree in Computer Engineering in 2014 from UFRGS.
Curriculum Vitae (in Portuguese, maintained by research agency CNPq)

Research interests

  • Software defined networking
  • Network function virtualization
  • Network verification
  • Network security
  • Software security
  • Program analysis

Research projects

Publications

Journals & Conferences

2018

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), March 2018. (to appear)

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

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.

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.

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.

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.

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

2017

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.

Contact

Email: mcneves at inf dot ufrgs dot br
Address:
Av. Bento Gonçalves, 9500 - Setor 4 - Prédio 43424 - Sala 208
Bairro Agronomia - CEP 91.509-900 - Porto Alegre, RS - Brazil