research
∙
08/29/2023
SimSched: A tool for Simulating Autosar Implementaion in Simulink
AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standa...
share
research
∙
01/02/2023
Timed Model-Based Mutation Operators for Simulink Models
Model-based mutation analysis is a recent research area, and real-time s...
research
∙
05/23/2022
A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems
Software vulnerabilities in access control models can represent a seriou...
research
∙
03/03/2022
A Survey of Analysis Methods for Security and Safety verification in IoT Systems
Internet of Things (IoT) has been rapidly growing in the past few years ...
research
∙
03/01/2022
Mining Domain Models in Ethereum DApps using Code Cloning
This research study explores the use of near-miss clone detection to sup...
research
∙
03/01/2022
VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis
Ethereum Smart Contracts based on Blockchain Technology (BT) enables mon...
research
∙
02/07/2022
An Automated Approach for Privacy Leakage Identification in IoT Apps
This paper presents a fully automated static analysis approach and a too...
research
∙
01/07/2022
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach
This paper presents an approach for identification of vulnerable IoT app...
research
∙
10/11/2021
A Mutation Framework for Evaluating Security Analysis tools in IoT Applications
With the growing and widespread use of Internet of Things (IoT) in our d...
research
∙
05/14/2021
A Survey of Security Vulnerabilities in Ethereum Smart Contracts
Ethereum Smart Contracts based on Blockchain Technology (BT)enables mone...
research
∙
05/06/2021
Reentrancy Vulnerability Identification in Ethereum Smart Contracts
Ethereum Smart contracts use blockchain to transfer values among peers o...
research
∙
05/06/2021
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts
Blockchain technology (BT) Ethereum Smart Contracts allows programmable ...
research
∙
11/08/2020