Artikler med krav om offentlig adgang - Clara SchneidewindFå flere oplysninger
Tilgængelige et sted: 8
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
Krav: European Commission
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
Krav: US National Science Foundation, Austrian Science Fund, German Research …
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
Krav: Austrian Science Fund, European Commission
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
Krav: European Commission
{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
Krav: European Commission, Government of Italy
HoRStify: Sound security analysis of smart contracts
S Holler, S Biewer, C Schneidewind
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 245-260, 2023
Krav: German Research Foundation
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
Krav: Austrian Science Fund, European Commission
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
Krav: Austrian Science Fund, German Research Foundation, Government of Spain
Oplysninger om publikation og økonomisk støtte registreres automatisk af et computerprogram