Name Card

Full name Familienname, Vorname
Scherer, Markus
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo eThor: Practical and Provably Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020
2Schneidewind, 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
3Scherer Markus - 2016 - Parallelizing the commutation property for functions...pdf.jpgScherer, Markus Parallelizing the commutation property for functions over small domainsThesis Hochschulschrift 2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schweighofer Martin - 2022 - Sound cross-contract reachability analysis of...pdf.jpgSchweighofer, Martin Sound cross-contract reachability analysis of ethereum smart contractsThesis Hochschulschrift 2022