| A semantic framework for the security analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018 | 394 | 2018 |
| Anonymous multi-hop locks for blockchain scalability and interoperability G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei 26th Annual Network and Distributed System Security Symposium, NDSS 2019, 2019 | 349 | 2019 |
| ethor: Practical and provably sound static analysis of ethereum smart contracts C Schneidewind, I Grishchenko, M Scherer, M Maffei Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020 | 162 | 2020 |
| Foundations and tools for the static analysis of ethereum smart contracts I Grishchenko, M Maffei, C Schneidewind Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 123 | 2018 |
| Ethertrust: Sound static analysis of ethereum bytecode I Grishchenko, M Maffei, C Schneidewind Technische Universität Wien, Tech. Rep, 1-41, 2018 | 67 | 2018 |
| {WPSE}: Fortifying Web Protocols via {Browser-Side} Security Monitoring S Calzavara, R Focardi, M Maffei, C Schneidewind, M Squarcina, ... 27th USENIX Security Symposium (USENIX Security 18), 1493-1510, 2018 | 34 | 2018 |
| HoRStify: Sound security analysis of smart contracts S Holler, S Biewer, C Schneidewind 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 245-260, 2023 | 14 | 2023 |
| The good, the bad and the ugly: Pitfalls and best practices in automated sound static analysis of ethereum smart contracts C Schneidewind, M Scherer, M Maffei Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 14 | 2020 |
| Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks. G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei IACR Cryptol. ePrint Arch. 2018, 472, 2018 | 10 | 2018 |
| Ledgerlocks: A security framework for blockchain protocols based on adaptor signatures E Tairi, P Moreno-Sanchez, C Schneidewind Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 7 | 2023 |
| Privacy-preserving multi-hop locks for blockchain scalability and interoperability G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei 26th Annual Network and Distributed System Security Symposium, NDSS, 2019 | 7 | 2019 |
| Decision and complexity of Dolev-Yao hyperproperties I Rakotonirina, G Barthe, C Schneidewind Proceedings of the ACM on Programming Languages 8 (POPL), 1913-1944, 2024 | 4 | 2024 |
| Decision and complexity of Dolev-Yao hyperproperties (technical report) I Rakotonirina, G Barthe, C Schneidewind Symposium on Principles of Programming Languages (POPL), 2024 | 2 | 2024 |
| Foundations for the security analysis of distributed blockchain applications C Schneidewind Technische Universität Wien, 2021 | 1 | 2021 |
| Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems S Dübler, F Badaloni, P Moreno-Sanchez, C Schneidewind arXiv preprint arXiv:2501.17786, 2025 | | 2025 |
| BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies F Badaloni, S Holler, C Oikonomou, P Moreno-Sanchez, C Schneidewind arXiv preprint arXiv:2501.17733, 2025 | | 2025 |
| 4th International Workshop on Formal Methods for Blockchains Z Dargaye, C Schneidewind | | 2022 |
| 4th International Workshop on Formal Methods for Blockchains: FMBC 2022, August 11, 2022, Haifa, Israel Z Dargaye, C Schneidewind Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2022 | | 2022 |
| OASIcs, Volume 105, FMBC 2022, Complete Volume}} Z Dargaye, C Schneidewind, M Bartoletti, M Milo, EH Nielsen, ... 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) 105, 0, 2022 | | 2022 |
| Generalized Swap Graphs for Blockchain Protocols S Dübler, P Moreno-Sanchez, C Schneidewind | | |
