Concepedia

Clara Schneidewind

CS

4

Publications

300

Citations

4

H-Index

2018

Active since

Affiliations

TU Wien(Current)

Max Planck Institute for Security and Privacy

IMDEA Software Institute

Clara Schneidewind is an author at TU Wien specializing in formal verification, cryptography, and data security.

Top concepts

EngineeringCryptographyData PrivacyData SecurityComputer ScienceProgram AnalysisSoftware AnalysisSoftware SecurityFormal VerificationInformation Security

Publications per year

2018–2024

4

Publications

4

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability

Giulio Malavolta, Pedro Moreno-Sánchez, Clara Schneidewind et al. · 2019 · 266 citations · Full text

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

Stefano Calzavara, Riccardo Focardi, Matteo Maffei et al. · arXiv (Cornell University) · 2018 · 12 citations · Full text

Engineering, Usable Security, Information Security +16

Decision and Complexity of Dolev-Yao Hyperproperties

Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind · Proceedings of the ACM on Programming Languages · 2024 · 12 citations · Full text

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

Erkan Tairi, Pedro Moreno-Sánchez, Clara Schneidewind · 2023 · 10 citations · Full text

Rows per page

1–4 of 4