Sebastian Banescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
14
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | QUATIC | Mutation Testing of Smart Contracts As a Service. | Morena Barboni, Andrea Morichetta, Andrea Polini, Sebastian Banescu, Edward Zulkoski |
| 2024 | SecureComm | Beyond the Public Mempool: Catching DeFi Attacks Before They Happen with Real-Time Smart Contract Analysis. | Bahareh Parhizkari, Antonio Ken Iannillo, Christof Ferreira Torres, Sebastian Banescu, Joseph Jiaqi Xu, Radu State |
| 2023 | ESORICS | Timely Identification of Victim Addresses in DeFi Attacks. | Bahareh Parhizkari, Antonio Ken Iannillo, Christof Ferreira Torres, Sebastian Banescu, Joseph Jiaqi Xu, Radu State |
| 2023 | ISSTA | Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. | Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Bhme, Sebastian Banescu |
| 2022 | ICSE | FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer. | Stephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Bhme |
| 2022 | ISSTA | An empirical study on the effectiveness of static C code analyzers for vulnerability detection. | Stephan Lipp, Sebastian Banescu, Alexander Pretschner |
| 2021 | ACSAC | Dynamic Taint Analysis versus Obfuscated Self-Checking. | Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner |
| 2019 | ACSAC | SIP shaker: software integrity protection composition. | Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu |
| 2019 | CCS | VirtSC: Combining Virtualization Obfuscation with Self-Checksumming. | Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner |
| 2019 | ISSRE | MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. | William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh |
| 2018 | ACSAC | Practical Integrity Protection with Oblivious Hashing. | Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner |
| 2016 | ACSAC | Code obfuscation against symbolic execution attacks. | Sebastian Banescu, Christian S. Collberg, Vijay Ganesh, Zack Newsham, Alexander Pretschner |
| 2016 | ACSAC | Metadata recovery from obfuscated programs using machine learning. | Aleieldin Salem, Sebastian Banescu |
| 2016 | CCS | VOT4CS: A Virtualization Obfuscation Tool for C#. | Sebastian Banescu, Ciprian Lucaci, Benjamin Krmer, Alexander Pretschner |
| 2016 | CCS | StIns4CS: A State Inspection Tool for C#. | Amjad Ibrahim, Sebastian Banescu |
| 2016 | ICST | Nequivack: Assessing Mutation Score Confidence. | Dominik Holling, Sebastian Banescu, Marco Probst, Ana Petrovska, Alexander Pretschner |
| 2015 | ECOOP | Short Paper: The Meaning of Attack-Resistant Systems. | Vijay Ganesh, Sebastian Banescu, Martn Ochoa |
| 2015 | ICSE | A Framework for Measuring Software Obfuscation Resilience against Automated Attacks. | Sebastian Banescu, Martn Ochoa, Alexander Pretschner |
| 2015 | SAFECOMP | ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. | Rafael Fedler, Sebastian Banescu, Alexander Pretschner |
| 2012 | BPM | Measuring Privacy Compliance Using Fitness Metrics. | Sebastian Banescu, Milan Petkovic, Nicola Zannone |
| 2011 | ESEM | Measuring Privacy Compliance with Process Specifications. | Sebastian Banescu, Nicola Zannone |
| 2008 | SYNASC | Software Random Number Generation Based on Race Conditions. | Adrian Colesa, Radu Tudoran, Sebastian Banescu |