MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
Zhang, William, Banescu, Sebastian, Pasos, Leonardo, Stewart, Steven, Ganesh, Vijay
Published in 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) (01.10.2019)
Published in 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) (01.10.2019)
Get full text
Conference Proceeding
Measuring Privacy Compliance Using Fitness Metrics
Banescu, Sebastian, Petković, Milan, Zannone, Nicola
Published in Business Process Management (2012)
Published in Business Process Management (2012)
Get full text
Book Chapter
Enhanced mutation testing of smart contracts in support of code inspection
Banescu, Sebastian, Barboni, Morena, Morichetta, Andrea, Polini, Andrea, Zulkoski, Edward
Published in 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (27.05.2024)
Published in 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (27.05.2024)
Get full text
Conference Proceeding
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
Nassirzadeh, Behkish, Sun, Huaiying, Banescu, Sebastian, Ganesh, Vijay
Published in arXiv.org (09.07.2022)
Published in arXiv.org (09.07.2022)
Get full text
Paper
Journal Article
Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example
Zibaei, Ehsan, Banescu, Sebastian, Pretschner, Alexander
Published in 2018 3rd International Conference on System Reliability and Safety (ICSRS) (01.11.2018)
Published in 2018 3rd International Conference on System Reliability and Safety (ICSRS) (01.11.2018)
Get full text
Conference Proceeding
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer
Lipp, Stephan, Elsner, Daniel, Hutzelmann, Thomas, Banescu, Sebastian, Pretschner, Alexander, Bohme, Marcel
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2022)
Get full text
Conference Proceeding
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
Zhang, William, Banescu, Sebastian, Passos, Leonardo, Stewart, Steven, Ganesh, Vijay
Published in arXiv.org (14.12.2020)
Published in arXiv.org (14.12.2020)
Get full text
Paper
Journal Article
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks
Banescu, Sebastian, Ochoa, Martin, Pretschner, Alexander
Published in 2015 IEEE/ACM 1st International Workshop on Software Protection (01.05.2015)
Published in 2015 IEEE/ACM 1st International Workshop on Software Protection (01.05.2015)
Get full text
Conference Proceeding
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming
Ahmadvand, Mohsen, Below, Daniel, Banescu, Sebastian, Pretschner, Alexander
Published in arXiv.org (25.09.2019)
Published in arXiv.org (25.09.2019)
Get full text
Paper
Journal Article
Constant-Time Updates Using Token Mechanics
Banescu, Sebastian, Derka, Martin, Gorzny, Jan, Lee, Sung-Shine, Murashkin, Alex
Published in 2020 IEEE International Conference on Blockchain (Blockchain) (01.11.2020)
Published in 2020 IEEE International Conference on Blockchain (Blockchain) (01.11.2020)
Get full text
Conference Proceeding
ByteWise: A case study in neural network obfuscation identification
Jones, Luke, Christman, Delbert, Banescu, Sebastian, Carlisle, Martin
Published in 2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC) (01.01.2018)
Published in 2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC) (01.01.2018)
Get full text
Conference Proceeding
Identifying Relevant Information Cues for Vulnerability Assessment Using CVSS
Allodi, Luca, Banescu, Sebastian, Femmer, Henning, Beckers, Kristian
Published in arXiv.org (20.03.2018)
Published in arXiv.org (20.03.2018)
Get full text
Paper
Journal Article
Nequivack: Assessing Mutation Score Confidence
Holling, Dominik, Banescu, Sebastian, Probst, Marco, Petrovska, Ana, Pretschner, Alexander
Published in 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.04.2016)
Published in 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.04.2016)
Get full text
Conference Proceeding