Eddie B. de Lima Filho

20 papers A 2C 11Journal 4Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Memory Safety in Linux Device Drivers: Enhancing Security with Formal Verification. ICCE Janislley O. Sousa, David A. O. Ferreira, Eddie B. de Lima Filho, Lucas C. Cordeiro
2025	C	`conf`	An Architecture for TV Receivers as Multimedia Gateways for Free-to-Air Content. ICCE Marcos A. A. De Oliveira, Rodrigo M. M. Cal, Igor De A. Gouveia, Fabson G. Nepomuceno, Mateus V. Said, Aguinaldo Silva, Rômulo Fabrício, Eddie B. de Lima Filho
2025	C	`conf`	Correcting Blocking Artifacts and Lost Slices with UNet and Optical Flow. ICCE Lucas G. M. Castro, Myke D. M. Valadão, Andrey R. R. Bessa, Kristhian A. O. Aguilar, Giselle L. Marinho, Matheus S. Uchôa, Victor R. M. Cavalcante, Kristhian A. Silva, Eddie B. de Lima Filho, Orlewilson B. Maia, Rômulo Fabrício, Waldir S. S. Júnior, Celso B. Carvalho
2025	C	`conf`	Enhanced User Experience in Digital TV: Recommending Content in Free-to-Air TV Contexts. ICCE Sergillam Barroso Oliveira, Tiago Souza, Petrina Kimura, Haydê Machado, Orlewilson Bentes Maia, Eddie B. de Lima Filho, Edson Weslley Almeida do Nascimento, Leandro Negreiros, Rafaell Guimarães Santana, Lucas C. Cordeiro
2025	C	`conf`	Natural Language Processing Models for Named Entity Recognition in Digital TV Audio. ICCE Edson Weslley Almeida do Nascimento, Petrina Kimura, Tiago Souza, Sergillam Barroso Oliveira, Haydê Machado, Lucas C. Cordeiro, Rômulo Fabrício, Eddie B. de Lima Filho
2025	C	`conf`	Optimizing User Experience: A Feedback-Based Performance Evaluation Methodology for Recommendation Systems. ICCE Sergillam Barroso Oliveira, Tiago Souza, Petrina Kimura, Haydê Machado, Orlewilson Bentes Maia, Eddie B. de Lima Filho, Edson Weslley Almeida do Nascimento, Lucas C. Cordeiro
2025	C	`conf`	Real-Time Detection of Free-to-Air Television Commercials in Audio Using Feature Extraction and Machine Learning. ICCE Myke D. M. Valadão, Lucas G. M. Castro, Kristhian A. O. Aguilar, Giselle L. Marinho, Matheus S. Uchôa, Eddie B. de Lima Filho, Orlewilson B. Maia, Rômulo Fabrício, Waldir S. S. Júnior, Celso B. Carvalho
2024	C	`conf`	Augmenting Digital TV Receivers with REST APIs. ICCE Daniel Xavier, Fabrício Izumi Bandeira, Andre R. da Silva Conceição, Rômulo Fabrício, José Fernandes, Eddie B. de Lima Filho, Daniel Araújo, Raphael V. Nunes De Mello, Stephany C. Da Silva, Tarcizio Lima
2024	—	`conf`	Conducting Usability Testing on Consumer Electronics: A Real Experience. ICCE-Taiwan José Eduardo L. Fernandes, Andre R. da Silva Conceição, Orlewilson B. Maia, Eddie B. de Lima Filho, Lorena L. B. de Paula, Mateus V. Said
2024	J	`jnl`	Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2024	A	`conf`	ESBMC-Python: A Bounded Model Checker for Python Programs. ISSTA Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024	J	`jnl`	ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024	A	`conf`	JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. ISSTA Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro
2024	—	`conf`	Modernizing Terrestrial Television Environments with Content Recommendation. ICCE-Taiwan Sergillam Barroso Oliveira, Petrina Kimura, Haydê Machado, Tiago Souza, Eddie B. de Lima Filho
2023	J	`jnl`	A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. Softw. Test. Verification Reliab. Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva
2022	C	`conf`	A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers. ICCE Bruno Farias, Ivo Machado, Eddie B. de Lima Filho, Claudio Pinheiro, Petrina Kimura, Leonardo Cordeiro, Daniel Xavier
2022	C	`conf`	A Real-Time Analyzer for Testing DTV Play. ICCE Orlewilson B. Maia, Andre R. da Silva Conceição, Manoel J. de Souza Júnior, Fabrício Izumi, Eddie B. de Lima Filho, Paulo Corrêa
2022	—	`conf`	ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
2021	C	`conf`	A Framework for Automatic Field Evaluation of DTV Receivers. ICCE Manoel J. de Souza, Orlewilson B. Maia, Samantha C. Leite, Eddie B. de Lima Filho, Fabrício Izumi, Robson R. Andrade, Paulo Corrêa
2021	J	`jnl`	ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.