57 citations · 144 across the 48 of their papers we have counts for
8 papers · 1 filter
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets
Kamil Erdayandi, Lucas C. Cordeiro, Mustafa A. Mustafa
This paper proposes a privacy-preserving and accountable billing (PA-Bill) protocol for trading in peer-to-peer energy markets, addressing situations where there may be discrepanci…
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat +1
FuSeBMC is a test generator for finding security vulnerabilities in C programs. In earlier work [4], we described a previous version that incrementally injected labels to guide Bou…
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…
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
Thales Silva, Carmina Porto, Erickson Alves +2
Computer-based systems have been used to solve several domain problems, such as industrial, military, education, and wearable. Those systems need high-quality software to guarantee…
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…
Verifying Software Vulnerabilities in IoT Cryptographic Protocols
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
Internet of Things (IoT) is a system that consists of a large number of smart devices connected through a network. The number of these devices is increasing rapidly, which creates…
Finding Security Vulnerabilities in Network Protocol Implementations
Kaled Alshmrany, Lucas Cordeiro
Implementations of network protocols are often prone to vulnerabilities caused by developers' mistakes when accessing memory regions and dealing with arithmetic operations. Finding…
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
The proliferation of Unmanned Aerial Vehicles (UAVs) embedded with vulnerable monolithic software has recently raised serious concerns about their security due to concurrency aspec…