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 | 296 | 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 | 215 | 2019 |
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 | 99 | 2018 |
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 | 81 | 2020 |
Ethertrust: Sound static analysis of ethereum bytecode I Grishchenko, M Maffei, C Schneidewind Technische Universität Wien, Tech. Rep, 1-41, 2018 | 41 | 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 | 20 | 2018 |
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 | 9 | 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 | 8 | 2018 |
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 | 4 | 2019 |
Foundations for the Security Analysis of Distributed Blockchain Applications C Schneidewind Technische Universität Wien, 2021 | 1 | 2021 |
HoRStify: Sound Security Analysis of Smart Contracts S Holler, S Biewer, C Schneidewind arXiv preprint arXiv:2301.13769, 2023 | | 2023 |
DAPPS 2021 P Ruppel, S Schulte, P Moreno-Sánchez, C Schneidewind, L Aumayr, ... | | |
Security Criteria for a Transparent Encryption Layer K Kallas, C Schneidewind, BC Pierce, S Zdancewic | | |