Clara Schneidewind

21 papers A* 4A 3Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A conf
$BitML^{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies.
CSF
Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez, Clara Schneidewind
2025 A conf
Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems.
CSF
Stephan Dübler, Federico Badaloni, Pedro Moreno-Sanchez, Clara Schneidewind
2025 J jnl
Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems.
CoRR
Stephan Dübler, Federico Badaloni, Pedro Moreno-Sanchez, Clara Schneidewind
2025 J jnl
BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies.
CoRR
Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez, Clara Schneidewind
2024 J jnl
Decision and Complexity of Dolev-Yao Hyperproperties.
Proc. ACM Program. Lang.
Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind
2023 A conf
HoRStify: Sound Security Analysis of Smart Contracts.
CSF
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
2023 J jnl
HoRStify: Sound Security Analysis of Smart Contracts.
CoRR
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
2023 A* conf
LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures.
CCS
Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind
2023 J jnl
LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures.
IACR Cryptol. ePrint Arch.
Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind
2022 — ed.
4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, Haifa, Israel, August 11, 2022
FMBC@CAV
Zaynah Dargaye, Clara Schneidewind
2021 J jnl
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.
CoRR
Clara Schneidewind, Markus Scherer, Matteo Maffei
2020 — conf
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts.
ISoLA (3)
Clara Schneidewind, Markus Scherer, Matteo Maffei
2020 A* conf
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
CCS
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
2020 J jnl
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.
CoRR
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
2019 A* conf
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability.
NDSS
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
2018 — conf
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.
POST
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018 J jnl
A Semantic Framework for the Security Analysis of Ethereum smart contracts.
CoRR
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018 — conf
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts.
CAV (1)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
2018 J jnl
Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks.
IACR Cryptol. ePrint Arch.
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
2018 A* conf
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.
USENIX Security Symposium
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2018 J jnl
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.
CoRR
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta