55 citations · 75 across the 18 of their papers we have counts for
10 papers · 1 filter
Cracking IoT Security: Can LLMs Outsmart Static Analysis Tools?
Jason Quantrill, Noura Khajehnouri, Zihan Guo +1
Smart home IoT platforms such as openHAB rely on Trigger Action Condition (TAC) rules to automate device behavior, but the interplay among these rules can give rise to interaction…
Taught by the Flawed: How Dataset Insecurity Breeds Vulnerable AI Code
Catherine Xia, Manar H. Alalfi
AI programming assistants have demonstrated a tendency to generate code containing basic security vulnerabilities. While developers are ultimately responsible for validating and re…
A Survey of Analysis Methods for Security and Safety verification in IoT Systems
Lobna Abuserrieh, Manar H. Alalfi
Internet of Things (IoT) has been rapidly growing in the past few years in all life disciplines. IoT provides automation and smart control to its users in different domains such as…
VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis
Noama Fatima Samreen, Manar H. Alalfi
Ethereum Smart Contracts based on Blockchain Technology (BT) enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum…
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach
Hajra Naeem, Manar H. Alalfi
This paper presents an approach for identification of vulnerable IoT applications. The approach focuses on a category of vulnerabilities that leads to sensitive information leakage…
A Mutation Framework for Evaluating Security Analysis tools in IoT Applications
Manar H. Alalfi, Sajeda Parveen, Bara Nazzal
With the growing and widespread use of Internet of Things (IoT) in our daily life, its security is becoming more crucial. To ensure information security, we require better security…
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts
Noama Fatima Samreen, Manar H. Alalfi
Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a centr…
A Survey of Security Vulnerabilities in Ethereum Smart Contracts
Noama Fatima Samreen, Manar H. Alalfi
Ethereum Smart Contracts based on Blockchain Technology (BT)enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum…
Reentrancy Vulnerability Identification in Ethereum Smart Contracts
Noama Fatima Samreen, Manar H. Alalfi
Ethereum Smart contracts use blockchain to transfer values among peers on networks without central agency. These programs are deployed on decentralized applications running on top…
An Approach for the Identification of Information Leakage in Automotive Infotainment systems
Abdul Moiz, Manar H. Alalfi
The advancements in the digitization world has revolutionized the automotive industry. Today's modern cars are equipped with internet, computers that can provide autonomous driving…