Rafael Menezes | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mustafa A. Mustafa
16 publications
Edoardo Manino
9 publications
Fatimah Aljaafari
4 publications
Fedor Shmarov
4 publications
Rosiane de Freitas
3 publications
Fatimah K. Aljaafari
1 publication
Daniel Moura
1 publication
Helena Cavalcante
1 publication

research

∙ 06/13/2022

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Finding software vulnerabilities in concurrent programs is a challenging...

0 Fatimah K. Aljaafari, et al. ∙

research

∙ 06/09/2022

ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation

In this work, we describe and evaluate the first model checker for verif...

0 Rafael Menezes, et al. ∙

research

∙ 03/21/2021

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols

Internet of Things (IoT) consists of a large number of smart devices con...

0 Fatimah Aljaafari, et al. ∙

Success!

An error occurred