55 citations · 75 across the 18 of their papers we have counts for
Showing 2022 · cs.CRShow all
3 papers · 2 filters
cs.CR2022★ 4 cited
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…
cs.CR2022★ 2 cited
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…
cs.CR2022
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…