Clara Schneidewind

According to our database, Clara Schneidewind authored at least 10 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Decision and Complexity of Dolev-Yao Hyperproperties.

Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind

Proc. ACM Program. Lang., January, 2024

2023

LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures.

Erkan Tairi, Pedro Moreno-Sanchez, Clara Schneidewind

IACR Cryptol. ePrint Arch., 2023

HoRStify: Sound Security Analysis of Smart Contracts.

Sebastian Holler, Sebastian Biewer, Clara Schneidewind

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.

Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability.

Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

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

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.

Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta

Proceedings of the 27th USENIX Security Symposium, 2018

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.

Ilya Grishchenko, Matteo Maffei, Clara Schneidewind

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts.

Ilya Grishchenko, Matteo Maffei, Clara Schneidewind

Proceedings of the Computer Aided Verification - 30th International Conference, 2018