A Survey on Verification of Security and Safety in IoT Systems von Abuserrieh, Lobna, Alalfi, Manar H.

Volltext

An Automated Approach for Privacy Leakage Identification in IoT Apps von Nazzal, Bara', Alalfi, Manar H.

Volltext

Detecting Android Malware Using Clone Detection von 陈健 Manar H. Alalfi Thomas R. Dean 邹颖

Volltext

Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach von Naeem, Hajra, Alalfi, Manar H.

Volltext

A mutation framework for evaluating security analysis tools in IoT applications von Alalfi, Manar H., Parveen, Sajeda, Nazzal, Bara'

Volltext

An empirical study on the complexity, security and maintainability of Ethereum-based decentralized applications (DApps) von Samreen, Noama Fatima, Alalfi, Manar H.

Volltext

An approach to clone detection in sequence diagrams and its application to security analysis von Alalfi, Manar H., Antony, Elizabeth P., Cordy, James R.

Volltext

Clone detection in MATLAB Stateflow models von Chen, Jian, Dean, Thomas R., Alalfi, Manar H.

Volltext

Modelling methods for web application verification and testing: state of the art von Alalfi, Manar H., Cordy, James R., Dean, Thomas R.

Volltext

A Survey of Analysis Methods for Security and Safety verification in IoT Systems von Abuserrieh, Lobna, Alalfi, Manar H

Volltext bestellen

An Automated Approach for Privacy Leakage Identification in IoT Apps von Nazzal, Bara', Alalfi, Manar H

Volltext bestellen

Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach von Naeem, Hajra, Alalfi, Manar H

Volltext bestellen

Modeling AUTOSAR Implementations in Simulink von Chen, Jian, Alalfi, Manar H., Dean, Thomas R., Ramesh, S.

Volltext

An Approach for the Identification of Information Leakage in Automotive Infotainment systems von Moiz, Abdul, Alalfi, Manar H

Volltext bestellen

Mining Domain Models in Ethereum DApps using Code Cloning von Samreen, Noama Fatima, Alalfi, Manar H

Volltext bestellen

VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis von Samreen, Noama Fatima, Alalfi, Manar H

Volltext bestellen

SimSched: A tool for Simulating Autosar Implementaion in Simulink von Chen, Jian, Alalfi, Manar H, Dean, Thomas R, S, Ramesh

Volltext bestellen

A Mutation Framework for Evaluating Security Analysis tools in IoT Applications von Alalfi, Manar H, Parveen, Sajeda, Nazzal, Bara

Volltext bestellen

A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems von Alalfi, Manar H., Abu Zaid, Atheer, Miri, Ali

Volltext

A Survey of Security Vulnerabilities in Ethereum Smart Contracts von Samreen, Noama Fatima, Alalfi, Manar H

Volltext bestellen