Clara Schneidewind

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 16

Top Topics

Static Analysis

Test Generation

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind
Decision and Complexity of Dolev-Yao Hyperproperties. Proc. ACM Program. Lang. 8 (POPL) (2024)
Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind
LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures. CCS (2023)
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CSF (2023)
Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind
LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CoRR (2023)
Clara Schneidewind, Markus Scherer, Matteo Maffei
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. CoRR (2021)
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CoRR (2020)
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. CCS (2020)
Clara Schneidewind, Markus Scherer, Matteo Maffei
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. ISoLA (3) (2020)
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. NDSS (2019)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR (2018)
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. USENIX Security Symposium (2018)
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks. IACR Cryptol. ePrint Arch. 2018 (2018)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts. CAV (1) (2018)
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. POST (2018)
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. CoRR (2018)