38 citations · 82 across the 8 of their papers we have counts for
9 papers
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection
Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
The malware analysis and detection research community relies on the online platform VirusTotal to label Android apps based on the scan results of around 60 antiviral scanners. Unfo…
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
William Zhang, Sebastian Banescu, Leonardo Passos +2
Smart contracts are executable programs that enable the building of a programmable trust mechanism between multiple entities without the need of a trusted third-party. Researchers…
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming
Mohsen Ahmadvand, Daniel Below, Sebastian Banescu +1
Self-checksumming (SC) is a tamper-proofing technique that ensures certain program segments (code) in memory hash to known values at runtime. SC has few restrictions on application…
SIP Shaker: Software Integrity Protection Composition
Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu
Man-At-The-End (MATE) attackers are almighty adversaries against whom there exists no silver-bullet countermeasure. To raise the bar, a wide range of protection measures were propo…
Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods
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. Nevertheless, given the lack of standards…
Identifying Relevant Information Cues for Vulnerability Assessment Using CVSS
Luca Allodi, Sebastian Banescu, Henning Femmer +1
The assessment of new vulnerabilities is an activity that accounts for information from several data sources and produces a `severity' score for the vulnerability. The Common Vulne…
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld +2
Despite numerous countermeasures proposed by practitioners and researchers, remote control-flow alteration of programs with memory-safety vulnerabilities continues to be a realisti…
FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation
Sebastian Banescu, Tobias Wüchner, Marius Guggenmos +2
Program obfuscation is increasingly popular among malware creators. Objectively comparing different malware detection approaches with respect to their resilience against obfuscatio…
The Meaning of Attack-Resistant Systems
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
In this paper, we introduce a formal notion of partial compliance, called Attack-resistance, of a computer program running together with a defense mechanism w.r.t a non-exploitabil…