No more backups: Toward efficient embedding of survivable virtual networks. - Rodrigo Ruas Oliveira; Daniel S. Marcon; Leonardo Richter Bays; Miguel C. Neves; Luciana S. Buriol; Luciano Paschoal Gaspary; Marinho P. Barcellos (ICC, 2013)

Workflow specification and scheduling with security constraints in hybrid clouds. - Daniel S. Marcon; Luiz F. Bittencourt; Ramide Dantas; Miguel C. Neves; Edmundo R. M. Madeira; Stenio Fernandes; Carlos Alberto Kamienski; Marinho P. Barcellos; Luciano Paschoal Gaspary; Nelson L. S. da Fonseca (LatinCloud, 2013)

Trust-based grouping for cloud datacenters: Improving security in shared infrastructures. - Daniel Stefani Marcon; Rodrigo Ruas Oliveira; Miguel Cardoso Neves; Luciana Salete Buriol; Luciano Paschoal Gaspary; Marinho P. Barcellos (Networking, 2013)

DoS-resilient virtual networks through multipath embedding and opportunistic recovery. - Rodrigo Ruas Oliveira; Leonardo Richter Bays; Daniel S. Marcon; Miguel C. Neves; Luciana Salete Buriol; Luciano Paschoal Gaspary; Marinho P. Barcellos (SAC, 2013)

IoNCloud: Exploring application affinity to improve utilization and predictability in datacenters. - Daniel S. Marcon; Miguel C. Neves; Rodrigo Ruas Oliveira; Leonardo Richter Bays; Raouf Boutaba; Luciano Paschoal Gaspary; Marinho P. Barcellos (ICC, 2015)

Opportunistic resilience embedding (ORE): Toward cost-efficient resilient virtual networks. - Rodrigo Ruas Oliveira; Daniel S. Marcon; Leonardo Richter Bays; Miguel C. Neves; Luciano Paschoal Gaspary; Deep Medhi; Marinho P. Barcellos (Comput. Networks, 2015)

PredCloud: Providing predictable network performance in large-scale OpenFlow-enabled cloud platforms through trust-based allocation of resources. - Daniel S. Marcon; Miguel C. Neves; Rodrigo Ruas Oliveira; Luciano Paschoal Gaspary; Marinho P. Barcellos (Comput. Commun., 2016)

Optimal Service Function Chain Composition in Network Functions Virtualization. - Andrés F. Ocampo; Juliver Gil-Herrera; Pedro Heleno Isolani; Miguel C. Neves; Juan Felipe Botero; Steven Latré; Lisandro Zambenedetti Granville; Marinho P. Barcellos; Luciano Paschoal Gaspary (AIMS, 2017)

POSTER: Finding Vulnerabilities in P4 Programs with Assertion-based Verification. - Lucas Freire; Miguel C. Neves; Alberto E. Schaeffer Filho; Marinho P. Barcellos (CCS, 2017)

Sandboxing Data Plane Programs for Fun and Profit. - Miguel C. Neves; Kirill Levchenko; Marinho P. Barcellos (SIGCOMM Posters and Demos, 2017)

Verification of P4 programs in feasible time using assertions. - Miguel C. Neves; Lucas Freire; Alberto E. Schaeffer Filho; Marinho P. Barcellos (CoNEXT, 2018)

Tá na Hora: analisando a latência de modificação de tabelas de fluxo em arquiteturas de switches SDN. - Fabrício M. Mazzola; Daniel S. Marcon; Miguel C. Neves; Marinho P. Barcellos (SBRC, 2018)

Uncovering Bugs in P4 Programs with Assertion-based Verification. - Lucas Freire; Miguel C. Neves; Lucas Leal; Kirill Levchenko; Alberto E. Schaeffer Filho; Marinho P. Barcellos (SOSR, 2018)

SafeGuard: Congestion and Memory-aware Failure Recovery in SD-WAN. - Meysam Shojaee; Miguel C. Neves; Israat Haque 001 (CNSM, 2020)

POSTER: Accelerating Encrypted Data Stores Using Programmable Switches. - Carson Kuzniar; Miguel C. Neves; Israat Haque 001 (ICNP, 2020)

Characterizing network performance of single-node large-scale container deployments. - Conrado Boeira; Miguel C. Neves; Tiago Ferreto; Israat Haque 001 (CloudNet, 2021)

Raptor: rapid prototyping of distributed stream processing applications at scale. - Md. Monzurul Amin Ifath; Miguel C. Neves; Israat Haque 001 (CoNEXT, 2021)

Towards Network-accelerated ML-based Distributed Computer Vision Systems. - Hisham Siddique; Miguel C. Neves; Carson Kuzniar; Israat Haque 001 (ICPADS, 2021)

VANET simulators: an updated review. - Julia Silva Weber; Miguel C. Neves; Tiago Ferreto (J. Braz. Comput. Soc., 2021)

Dynamic Property Enforcement in Programmable Data Planes. - Miguel C. Neves; Bradley Huffaker; Kirill Levchenko; Marinho P. Barcellos (IEEE/ACM Trans. Netw., 2021)

Predicting and Avoiding SLA Violations of Containerized Applications using Machine Learning and Elasticity. - Paulo Souza 002; Miguel C. Neves; Carlos Henrique Kayser; Felipe Rubin; Conrado Boeira; João Moreira; Bernardo Bordin; Tiago Ferreto (CLOSER, 2022)

Accelerator-Aware In-Network Load Balancing for Improved Application Performance. - Hesam Tajbakhsh; Ricardo Parizotto; Miguel C. Neves; Alberto Schaeffer-Filho; Israat Haque 001 (IFIP Networking, 2022)

IoT Device Fingerprinting on Commodity Switches. - Carson Kuzniar; Miguel C. Neves; Vladimir Gurevich; Israat Haque 001 (NOMS, 2022)

Fast Prototyping of Distributed Stream Processing Applications with stream2gym. - Md. Monzurul Amin Ifath; Miguel C. Neves; Israat Haque 001 (ICDCS, 2023)

On the (dis)Advantages of Programmable NICs for Network Security Services. - Jack Zhao; Miguel C. Neves; Israat Haque 001 (IFIP Networking, 2023)

PoirIoT: Fingerprinting IoT Devices at Tbps Scale. - Carson Kuzniar; Miguel C. Neves; Vladimir Gurevich; Israat Haque 001 (IEEE/ACM Trans. Netw., 2024)