Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. - Ilya Grishchenko; Matteo Maffei; Clara Schneidewind (CAV (1), 2018)

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. - Ilya Grishchenko; Matteo Maffei; Clara Schneidewind (POST, 2018)

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. - Stefano Calzavara; Riccardo Focardi; Matteo Maffei; Clara Schneidewind; Marco Squarcina; Mauro Tempesta (USENIX Security Symposium, 2018)

Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks. - Giulio Malavolta; Pedro Moreno-Sanchez; Clara Schneidewind; Aniket Kate; Matteo Maffei (IACR Cryptol. ePrint Arch., 2018)

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. - Giulio Malavolta; Pedro Moreno-Sanchez; Clara Schneidewind; Aniket Kate; Matteo Maffei (NDSS, 2019)

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. - Clara Schneidewind; Ilya Grishchenko; Markus Scherer; Matteo Maffei (CCS, 2020)

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. - Clara Schneidewind; Markus Scherer; Matteo Maffei (ISoLA (3), 2020)

HoRStify: Sound Security Analysis of Smart Contracts. - Sebastian Holler; Sebastian Biewer; Clara Schneidewind (CSF, 2023)

LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures. - Erkan Tairi; Pedro Moreno-Sanchez; Clara Schneidewind (IACR Cryptol. ePrint Arch., 2023)

Decision and Complexity of Dolev-Yao Hyperproperties. - Itsaka Rakotonirina; Gilles Barthe; Clara Schneidewind (Proc. ACM Program. Lang., 2024)

$BitML^{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies. - Federico Badaloni; Sebastian Holler; Chrysoula Oikonomou; Pedro Moreno-Sanchez; Clara Schneidewind (CSF, 2025)

Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems. - Stephan Dübler; Federico Badaloni; Pedro Moreno-Sanchez; Clara Schneidewind (CSF, 2025)

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies. - Federico Badaloni; Sebastian Holler; Chrysoula Oikonomou; Pedro Moreno-Sanchez; Clara Schneidewind (CoRR, 2025)