Sebastian Banescu

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