Clara Schneidewind
Title
Cited by
Cited by
Year
A Semantic Framework for the Security Analysis of Ethereum smart contracts
I Grishchenko, M Maffei, C Schneidewind
International Conference on Principles of Security and Trust, 243-269, 2018
1332018
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability.
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
NDSS, 2019
452019
Foundations and Tools for the Static Analysis of Ethereum smart contracts
I Grishchenko, M Maffei, C Schneidewind
International Conference on Computer Aided Verification, 51-78, 2018
402018
EtherTrust: Sound static analysis of ethereum bytecode
I Grishchenko, M Maffei, C Schneidewind
Technische Universitšt Wien, Tech. Rep, 2018
102018
Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks.
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
IACR Cryptology ePrint Archive 2018, 472, 2018
72018
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
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
42018
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
C Schneidewind, I Grishchenko, M Scherer, M Maffei
arXiv preprint arXiv:2005.06227, 2020
2020
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–9