Follow
Clara Schneidewind
Clara Schneidewind
Max Planck Institute for Security and Privacy
Verified email at mpi-sp.org - Homepage
Title
Cited by
Cited by
Year
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
2962018
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
2152019
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
992018
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
812020
Ethertrust: Sound static analysis of ethereum bytecode
I Grishchenko, M Maffei, C Schneidewind
Technische Universitšt Wien, Tech. Rep, 1-41, 2018
412018
{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
202018
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
92020
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
82018
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
42019
Foundations for the Security Analysis of Distributed Blockchain Applications
C Schneidewind
Technische Universitšt Wien, 2021
12021
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
The system can't perform the operation now. Try again later.
Articles 1–13