Marcilio O. O. Lemos

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 9

Top Topics

Formal Specification

Top Venues

Internet Technol. Lett.

J. Log. Algebraic Methods Program.

Publications

Cristian H. Martins de Souza, Marcilio O. O. Lemos, Felipe Sampaio Dantas da Silva, Robinson L. Souza Alves
On detecting and mitigating phishing attacks through featureless machine learning techniques. Internet Technol. Lett. 3 (1) (2020)
Felipe Sampaio Dantas da Silva, Esau Silva, Emidio P. Neto, Marcilio O. O. Lemos, Augusto José Venâncio Neto, Flavio Esposito
A Taxonomy of DDoS Attack Mitigation Approaches Featured by SDN Technologies in IoT Scenarios. Sensors 20 (11) (2020)
João Batista da Silva, Felipe Sampaio Dantas da Silva, Emidio P. Neto, Marcilio O. O. Lemos, Augusto Neto
Benchmarking of mainstream SDN controllers over open off-the-shelf software-switches. Internet Technol. Lett. 3 (3) (2020)
Marcilio O. O. Lemos, Felipe Sampaio Dantas da Silva, Augusto José Venâncio Neto
Analysis of Security Requirements in Federated Cloud Slicing Ecosystems: A Case Study of the NECOS Platform. ISCC (2018)
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebraic Methods Program. 94 (2018)
Kevin B. Costa, Emidio P. Neto, Felipe Sampaio Dantas da Silva, Charles H. F. dos Santos, Marcilio O. O. Lemos, Augusto José Venâncio Neto
NOA: A Middleware to Maximize the OpenDaylight SDN Controller Orchestration Perspectives. LANMAN (2018)
Felipe Sampaio Dantas da Silva, Marcilio O. O. Lemos, Alisson Medeiros, Augusto José Venâncio Neto, Rafael Pasquini, David Moura, Christian Esteve Rothenberg, Lefteris Mamatas, Sand Luz Correa, Kleber Vieira Cardoso, Cesar Marcondes, Antônio Abelém, Marcelo Ribeiro Nascimento, Alex Galis, Luis M. Contreras, Joan Serrat, Panagiotis Papadimitriou
NECOS Project: Towards Lightweight Slicing of Cloud Federated Infrastructures. NetSoft (2018)
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. CoRR (2017)
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam
Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA (2016)