Name Card

Full name Familienname, Vorname
Schneidewind, Clara
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tairi-2023-LedgerLocks A Security Framework for Blockchain Protocols Base...-vor.pdf.jpgTairi, Erkan ; Moreno-Sanchez, Pedro ; Schneidewind, Clara LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor SignaturesInproceedings Konferenzbeitrag 21-Nov-2023
2Schneidewind Clara - 2021 - Foundations for the security analysis of distributed...pdf.jpgSchneidewind, Clara Foundations for the security analysis of distributed blockchain applicationsThesis Hochschulschrift 2021
3Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo eThor: Practical and Provably Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020
4Schneidewind, Clara ; Scherer, Markus ; Maffei, Matteo The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020
5Malavolta, Giulio ; Moreno-Sanchez, Pedro ; Schneidewind, Clara ; Kate, Aniket ; Maffei, Matteo Anonymous Multi-Hop Locks for Blockchain Scalability and InteroperabilityKonferenzbeitrag Inproceedings 2019
6Malavolta, Giulio ; Moreno-Sanchez, Pedro ; Schneidewind, Clara ; Kate, Aniket ; Maffei, Matteo Anonymous Multi-Hop Locks for Blockchain Scalability and InteroperabilityPräsentation Presentation2019
7Calzavara, Stefano ; Maffei, Matteo ; Schneidewind, Clara ; Tempesta, Mauro ; Squarcina, Marco WPSE: Fortifying Web Protocols via Browser-Side Security MonitoringKonferenzbeitrag Inproceedings 2018
8Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
9Grishchenko, Ilya ; Schneidewind, Clara ; Maffei, Matteo A Semantic Framework for the Security Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schwarz Alexander - 2019 - Static analysis of eWASM contracts.pdf.jpgSchwarz, Alexander Static analysis of eWASM contractsThesis Hochschulschrift 2019
2Schneider Jakob Felix - 2018 - Theoretische und praktische Smart Contracts -...pdf.jpgSchneider, Jakob Felix Theoretische und praktische Smart Contracts - Realisierung eines InvestmentfondsThesis Hochschulschrift 2018