Следене
Clara Schneidewind
Clara Schneidewind
Max Planck Institute for Security and Privacy
Потвърден имейл адрес: mpi-sp.org - Начална страница
Заглавие
Позовавания
Позовавания
Година
A semantic framework for the security analysis of ethereum smart contracts
I Grishchenko, M Maffei, C Schneidewind
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
3492018
Anonymous multi-hop locks for blockchain scalability and interoperability
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
26th Annual Network and Distributed System Security Symposium, NDSS 2019, 2019
2712019
ethor: Practical and provably sound static analysis of ethereum smart contracts
C Schneidewind, I Grishchenko, M Scherer, M Maffei
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
1232020
Foundations and tools for the static analysis of ethereum smart contracts
I Grishchenko, M Maffei, C Schneidewind
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
1082018
Ethertrust: Sound static analysis of ethereum bytecode
I Grishchenko, M Maffei, C Schneidewind
Technische Universität Wien, Tech. Rep, 1-41, 2018
462018
{WPSE}: Fortifying Web Protocols via {Browser-Side} Security Monitoring
S Calzavara, R Focardi, M Maffei, C Schneidewind, M Squarcina, ...
27th USENIX Security Symposium (USENIX Security 18), 1493-1510, 2018
252018
The good, the bad and the ugly: Pitfalls and best practices in automated sound static analysis of ethereum smart contracts
C Schneidewind, M Scherer, M Maffei
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
142020
Multi-Hop Locks for Secure, Privacy-Preserving and Interoperable Payment-Channel Networks.
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
IACR Cryptol. ePrint Arch. 2018, 472, 2018
82018
Privacy-preserving multi-hop locks for blockchain scalability and interoperability
G Malavolta, P Moreno-Sanchez, C Schneidewind, A Kate, M Maffei
26th Annual Network and Distributed System Security Symposium, NDSS, 2019
72019
HoRStify: Sound security analysis of smart contracts
S Holler, S Biewer, C Schneidewind
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 245-260, 2023
52023
Decision and complexity of Dolev-Yao hyperproperties (technical report)
I Rakotonirina, G Barthe, C Schneidewind
Symposium on Principles of Programming Languages (POPL), 2024
22024
LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures
E Tairi, P Moreno-Sanchez, C Schneidewind
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
12023
Foundations for the Security Analysis of Distributed Blockchain Applications
C Schneidewind
Technische Universität Wien, 2021
12021
Decision and Complexity of Dolev-Yao Hyperproperties
I Rakotonirina, G Barthe, C Schneidewind
Proceedings of the ACM on Programming Languages 8 (POPL), 1913-1944, 2024
2024
Proceedings of the 4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Z Dargaye, C Schneidewind
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
2022
4th International Workshop on Formal Methods for Blockchains
Z Dargaye, C Schneidewind
2022
OASIcs, Volume 105, FMBC 2022, Complete Volume
Z Dargaye, C Schneidewind
4th International Workshop on Formal Methods for Blockchains (FMBC 2022), 2022
2022
Generalized Swap Graphs for Blockchain Protocols
S Dübler, P Moreno-Sanchez, C Schneidewind
DAPPS 2021
P Ruppel, S Schulte, P Moreno-Sánchez, C Schneidewind, L Aumayr, ...
Security Criteria for a Transparent Encryption Layer
K Kallas, C Schneidewind, BC Pierce, S Zdancewic
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20