Sebastian Banescu

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 40

Top Topics

Malware Detection

Defense Mechanisms

Symbolic Execution

Top Venues

Publications

Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. ISSTA (2023)
Bahareh Parhizkari, Antonio Ken Iannillo, Christof Ferreira Torres, Sebastian Banescu, Joseph Jiaqi Xu, Radu State
Timely Identification of Victim Addresses in DeFi Attacks. ESORICS Workshops (1) (2023)
Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion (2022)
Stephan Lipp, Sebastian Banescu, Alexander Pretschner
An empirical study on the effectiveness of static C code analyzers for vulnerability detection. ISSTA (2022)
Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. MARBLE (2022)
Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. ACM Trans. Priv. Secur. 24 (4) (2021)
Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. CoRR (2021)
Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner
Dynamic Taint Analysis versus Obfuscated Self-Checking. ACSAC (2021)
Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. CoRR (2020)
Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin
Constant-Time Updates Using Token Mechanics. Blockchain (2020)
Aleieldin Salem, Sebastian Banescu, Alexander Pretschner
Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods. CoRR (2019)
Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. SPRO@CCS (2019)
Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu
SIP shaker: software integrity protection composition. ACSAC (2019)
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. CoRR (2019)
Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu
SIP Shaker: Software Integrity Protection Composition. CoRR (2019)
William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. ISSRE (2019)
Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. CoRR (2019)
Luca Allodi, Sebastian Banescu, Henning Femmer, Kristian Beckers
Identifying Relevant Information Cues for Vulnerability Assessment Using CVSS. CODASPY (2018)
Ehsan Zibaei, Sebastian Banescu, Alexander Pretschner
Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example. ICSRS (2018)
Luca Allodi, Sebastian Banescu, Henning Femmer, Kristian Beckers
Identifying Relevant Information Cues for Vulnerability Assessment Using CVSS. CoRR (2018)
Luke Jones, Delbert Christman, Sebastian Banescu, Martin C. Carlisle
ByteWise: A case study in neural network obfuscation identification. CCWC (2018)
Sebastian Banescu, Alexander Pretschner
Chapter Five - A Tutorial on Software Obfuscation. Adv. Comput. 108 (2018)
Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner
Practical Integrity Protection with Oblivious Hashing. ACSAC (2018)
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. EuroS&P (2017)
Sebastian Banescu, Christian S. Collberg, Alexander Pretschner
Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. USENIX Security Symposium (2017)
Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. CoRR (2017)
Sebastian Banescu, Mohsen Ahmadvand, Alexander Pretschner, Robert Shield, Chris Hamilton
Detecting Patching of Executables without System Calls. CODASPY (2017)
Sebastian Banescu, Ciprian Lucaci, Benjamin Krämer, Alexander Pretschner
VOT4CS: A Virtualization Obfuscation Tool for C#. SPRO@CCS (2016)
Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner
Code obfuscation against symbolic execution attacks. ACSAC (2016)
Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner
Nequivack: Assessing Mutation Score Confidence. ICST Workshops (2016)
Amjad Ibrahim, Sebastian Banescu
StIns4CS: A State Inspection Tool for C#. SPRO@CCS (2016)
Aleieldin Salem, Sebastian Banescu
Metadata recovery from obfuscated programs using machine learning. SSPREW@ACSAC (2016)
Sebastian Banescu, Tobias Wüchner, Aleieldin Salem, Marius Guggenmos, Martín Ochoa, Alexander Pretschner
A framework for empirical evaluation of malware detection resilience against behavior obfuscation. MALWARE (2015)
Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS (2015)
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
The Meaning of Attack-Resistant Programs. CoRR (2015)
Vijay Ganesh, Sebastian Banescu, Martín Ochoa
Short Paper: The Meaning of Attack-Resistant Systems. PLAS@ECOOP (2015)
Rafael Fedler, Sebastian Banescu, Alexander Pretschner
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. SAFECOMP (2015)
Sebastian Banescu, Martín Ochoa, Alexander Pretschner
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE (2015)
Sebastian Banescu, Alexander Pretschner, Dominic Battré, Stéfano Cazzulani, Robert Shield, Greg Thompson
Software-Based Protection against Changeware. CODASPY (2015)
Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner
FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. CoRR (2015)
Sebastian Banescu, Milan Petkovic, Nicola Zannone
Measuring Privacy Compliance Using Fitness Metrics. BPM (2012)
Alin Suciu, Sebastian Banescu, Kinga Marton
Unpredictable Random Number Generator Based on Hardware Performance Counters. ICDIPC (2) (2011)
Sebastian Banescu, Nicola Zannone
Measuring Privacy Compliance with Process Specifications. Metrisec@ESEM (2011)
Sebastian Banescu, Florent de Dinechin, Bogdan Pasca, Radu Tudoran
Multipliers for floating-point double precision and beyond on FPGAs. SIGARCH Comput. Archit. News 38 (4) (2010)
Adrian Colesa, Radu Tudoran, Sebastian Banescu
Software Random Number Generation Based on Race Conditions. SYNASC (2008)