default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastian Banescu
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Sebastian Banescu, Morena Barboni, Andrea Morichetta, Andrea Polini, Edward Zulkoski:
Enhanced mutation testing of smart contracts in support of code inspection. ICBC 2024: 558-566- [c33]Morena Barboni
, Andrea Morichetta, Andrea Polini, Sebastian Banescu, Edward Zulkoski:
Mutation Testing of Smart Contracts As a Service. QUATIC 2024: 93-109 - 2023
- [c32]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: 394-410 - [c31]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: 127-139 - 2022
- [c30]Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme:
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. ICSE-Companion 2022: 75-79 - [c29]Stephan Lipp, Sebastian Banescu, Alexander Pretschner:
An empirical study on the effectiveness of static C code analyzers for vulnerability detection. ISSTA 2022: 544-555 - [c28]Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh:
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. MARBLE 2022: 143-167 - 2021
- [j3]Aleieldin Salem, Sebastian Banescu, Alexander Pretschner:
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. ACM Trans. Priv. Secur. 24(4): 25:1-25:35 (2021) - [c27]Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner:
Dynamic Taint Analysis versus Obfuscated Self-Checking. ACSAC 2021: 182-193 - [e1]Christophe Hauser, Yonghwi Kwon, Sebastian Banescu:
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. ACM 2021, ISBN 978-1-4503-8552-7 [contents] - [i10]Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh:
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. CoRR abs/2112.14771 (2021) - 2020
- [c26]Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin:
Constant-Time Updates Using Token Mechanics. Blockchain 2020: 300-304 - [i9]Aleieldin Salem, Sebastian Banescu, Alexander Pretschner:
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection. CoRR abs/2007.00510 (2020)
2010 – 2019
- 2019
- [c25]Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu:
SIP shaker: software integrity protection composition. ACSAC 2019: 203-214 - [c24]Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner:
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. SPRO@CCS 2019: 53-63 - [c23]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: 456-462 - [i8]Aleieldin Salem, Sebastian Banescu, Alexander Pretschner:
Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods. CoRR abs/1903.10560 (2019) - [i7]Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu:
SIP Shaker: Software Integrity Protection Composition. CoRR abs/1909.11401 (2019) - [i6]Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner:
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. CoRR abs/1909.11404 (2019) - [i5]William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh:
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. CoRR abs/1911.00570 (2019) - 2018
- [j2]Sebastian Banescu, Alexander Pretschner:
Chapter Five - A Tutorial on Software Obfuscation. Adv. Comput. 108: 283-353 (2018) - [c22]Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner:
Practical Integrity Protection with Oblivious Hashing. ACSAC 2018: 40-52 - [c21]Luke Jones, Delbert Christman, Sebastian Banescu, Martin C. Carlisle:
ByteWise: A case study in neural network obfuscation identification. CCWC 2018: 155-164 - [c20]Luca Allodi, Sebastian Banescu, Henning Femmer, Kristian Beckers:
Identifying Relevant Information Cues for Vulnerability Assessment Using CVSS. CODASPY 2018: 119-126 - [c19]Ehsan Zibaei, Sebastian Banescu, Alexander Pretschner:
Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example. ICSRS 2018: 120-129 - [i4]Luca Allodi, Sebastian Banescu, Henning Femmer, Kristian Beckers:
Identifying Relevant Information Cues for Vulnerability Assessment Using CVSS. CoRR abs/1803.07648 (2018) - 2017
- [b1]Sebastian Banescu:
Characterizing the Strength of Software Obfuscation Against Automated Attacks (Charakterisierung der Stärke der Softwareverschleierung gegen automatisierte Angriffe). Technical University of Munich, Germany, 2017 - [c18]Sebastian Banescu, Mohsen Ahmadvand, Alexander Pretschner, Robert Shield, Chris Hamilton:
Detecting Patching of Executables without System Calls. CODASPY 2017: 185-196 - [c17]Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh:
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. EuroS&P 2017: 499-513 - [c16]Sebastian Banescu, Christian S. Collberg, Alexander Pretschner:
Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. USENIX Security Symposium 2017: 661-678 - [i3]Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh:
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. CoRR abs/1701.06743 (2017) - 2016
- [c15]Aleieldin Salem, Sebastian Banescu:
Metadata recovery from obfuscated programs using machine learning. SSPREW@ACSAC 2016: 1:1-1:11 - [c14]Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner:
Code obfuscation against symbolic execution attacks. ACSAC 2016: 189-200 - [c13]Sebastian Banescu, Ciprian Lucaci, Benjamin Krämer, Alexander Pretschner:
VOT4CS: A Virtualization Obfuscation Tool for C#. SPRO@CCS 2016: 39-49 - [c12]Amjad Ibrahim, Sebastian Banescu:
StIns4CS: A State Inspection Tool for C#. SPRO@CCS 2016: 61-71 - [c11]Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner:
Nequivack: Assessing Mutation Score Confidence. ICST Workshops 2016: 152-161 - 2015
- [c10]Sebastian Banescu, Alexander Pretschner, Dominic Battré, Stéfano Cazzulani, Robert Shield, Greg Thompson:
Software-Based Protection against Changeware. CODASPY 2015: 231-242 - [c9]Vijay Ganesh, Sebastian Banescu, Martín Ochoa:
Short Paper: The Meaning of Attack-Resistant Systems. PLAS@ECOOP 2015: 49-55 - [c8]Sebastian Banescu, Martín Ochoa, Nils Kunze, Alexander Pretschner:
Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation. ESSoS 2015: 149-156 - [c7]Sebastian Banescu, Martín Ochoa, Alexander Pretschner:
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. SPRO@ICSE 2015: 45-51 - [c6]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: 40-47 - [c5]Rafael Fedler, Sebastian Banescu, Alexander Pretschner:
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. SAFECOMP 2015: 362-371 - [i2]Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa, Alexander Pretschner:
FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation. CoRR abs/1502.03245 (2015) - [i1]Vijay Ganesh, Sebastian Banescu, Martín Ochoa:
The Meaning of Attack-Resistant Programs. CoRR abs/1502.04023 (2015) - 2012
- [c4]Sebastian Banescu, Milan Petkovic, Nicola Zannone:
Measuring Privacy Compliance Using Fitness Metrics. BPM 2012: 114-119 - 2011
- [c3]Sebastian Banescu, Nicola Zannone:
Measuring Privacy Compliance with Process Specifications. Metrisec@ESEM 2011: 41-50 - [c2]Alin Suciu, Sebastian Banescu, Kinga Marton:
Unpredictable Random Number Generator Based on Hardware Performance Counters. ICDIPC (2) 2011: 123-137 - 2010
- [j1]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): 73-79 (2010)
2000 – 2009
- 2008
- [c1]Adrian Colesa, Radu Tudoran, Sebastian Banescu:
Software Random Number Generation Based on Race Conditions. SYNASC 2008: 439-444
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
