4 citations · 7 across the 13 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021
Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations
Fatimah Aljaafari, Rafael Menezes, Mustafa A. Mustafa +1
Internet of Things (IoT) consists of a large number of devices connected through a network, which exchange a high volume of data, thereby posing new security, privacy, and trust is…
cs.CR2020★ 1 cited
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha +1
We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find secu…