Search Results for author: Sebastian Banescu

Found 4 papers, 1 papers with code

Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection

no code implementations1 Jul 2020 Aleieldin Salem, Sebastian Banescu, Alexander Pretschner

We found that such ML-based strategies (a) can accurately and consistently label apps based on their VirusTotal scan reports, and (b) contribute to training ML-based detection methods that are more effective at classifying out-of-sample apps than their threshold-based counterparts.

Malware Analysis Malware Detection

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract

1 code implementation1 Nov 2019 William Zhang, Sebastian Banescu, Leodardo Pasos, Steven Stewart, Vijay Ganesh

We have implemented our technique in a tool called MPro, a scalable and automated smart contract analyzer based on the existing symbolic analysis tool Mythril-Classic and the static analysis tool Slither.

Cryptography and Security

Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods

no code implementations25 Mar 2019 Aleieldin Salem, Sebastian Banescu, Alexander Pretschner

In evaluating detection methods, the malware research community relies on scan results obtained from online platforms such as VirusTotal.

Cryptography and Security

FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation

no code implementations11 Feb 2015 Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner

We propose and implement such a framework that obfuscates the observable behavior of malware binaries.

Cryptography and Security

Cannot find the paper you are looking for? You can Submit a new open access paper.