Name Card

Full name Familienname, Vorname
Salzer, Gernot
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 48 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1di Angelo, Monika ; Salzer, Gernot Consolidation of Ground Truth Sets for Weakness Detection in Smart ContractsInproceedings Konferenzbeitrag 5-Dec-2023
2Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart ContractsInproceedings Konferenzbeitrag 8-Nov-2023
3Rameder, Heidelinde ; di Angelo, Monika ; Salzer, Gernot Review of Automated Vulnerability Analysis of Smart Contracts on EthereumArtikel Article 2022
4Di Angelo-2021-International Journal of Data Science and Analytics-vor.pdf.jpgDi Angelo, Monika ; Salzer, Gernot Identification of token contracts on Ethereum: standard compliance and beyondArtikel Article 3-Sep-2021
5Di Angelo, Monika ; Salzer, Gernot Towards the Identification of Security Tokens on EthereumKonferenzbeitrag Inproceedings 2021
6Kjäer, Martin ; Di Angelo, Monika ; Salzer, Gernot Empirical Evaluation of MakerDAO's ResilienceKonferenzbeitrag Inproceedings 2021
7Hermann, Miki ; Salzer, Gernot MCP: Capturing Big Data by Satisfiability (Tool Description)Konferenzbeitrag Inproceedings 2021
8di Angelo, Monika ; Sack, Christian ; Salzer, Gernot SoK: Development of Secure Smart Contracts – Lessons from a Graduate CourseKonferenzbeitrag Inproceedings 2020
9di Angelo, Monika ; Salzer, Gernot Characterizing Types of Smart Contracts in the Ethereum LandscapeKonferenzbeitrag Inproceedings 2020
10di Angelo, Monika ; Salzer, Gernot Assessing the Similarity of Smart Contracts by Clustering their InterfacesKonferenzbeitrag Inproceedings 2020
11di Angelo, Monika ; Salzer, Gernot Tokens, Types, and Standards: Identification and Utilization in EthereumKonferenzbeitrag Inproceedings 2020
12Bareis, Marco ; di Angelo, Monika ; Salzer, Gernot Functional Differences of Neo and Ethereum as Smart Contract PlatformsKonferenzbeitrag Inproceedings 2020
13di Angelo, Monika ; Salzer, Gernot Characteristics of Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
14Di Angelo, Monika ; Salzer, Gernot Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
15di Angelo, Monika ; Salzer, Gernot A Survey of Tools for Analyzing Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2019
16Schäffer, Markus ; di Angelo, Monika ; Salzer, Gernot Performance and Scalability of Private Ethereum BlockchainsKonferenzbeitrag Inproceedings 2019
17di Angelo, Monika ; Salzer, Gernot Mayflies, Breeders, and Busy Bees in EthereumKonferenzbeitrag Inproceedings 2019
18Behrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot Minimal Distance of Propositional ModelsArtikel Article 2019
19di Angelo, Monika ; Salzer, Gernot Collateral Use of Deployment Code for Smart Contracts in EthereumKonferenzbeitrag Inproceedings 2019
20di Angelo, Monika ; Soare, Alfred ; Salzer, Gernot Smart contracts in view of the civil codeKonferenzbeitrag Inproceedings 2019

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 22 (Search time: 0.026 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Loz David - 2023 - Identifying Semantic Properties in the Bytecode of Smart...pdf.jpgLoz, David Identifying semantic properties in the bytecode of smart contracts using symbolic executionThesis Hochschulschrift 2023
2Sack Christian - 2023 - Erkennung von Mustern in EVM-Bytecode durch...pdf.jpgSack, Christian Erkennung von Mustern in EVM-Bytecode durch XQuery-Abfragen auf Ausführungspfaden im KontrollflussgraphenThesis Hochschulschrift 2023
3Yuecel Tan - 2022 - Identifying related smart contracts by their bytecode.pdf.jpgYücel, Tan Identifying related smart contracts by their bytecodeThesis Hochschulschrift 2022
4Gorgoris Philippos - 2021 - Identifying administrators of smart contracts from...pdf.jpgGorgoris, Philippos Identifying administrators of smart contracts from transaction dataThesis Hochschulschrift 2021
5Rameder Heidelinde - 2021 - Systematic review of ethereum smart contract...pdf.jpgRameder, Heidelinde Systematic review of ethereum smart contract security vulnerabilities, analysis methods and toolsThesis Hochschulschrift 2021
6Rizvanovic Aldin - 2020 - Language properties for smart contracts.pdf.jpgRizvanović, Aldin Language properties for smart contractsThesis Hochschulschrift 2020
7Kurzmann Martin - 2020 - Decompilation of EVM bytecode.pdf.jpgKurzmann, Martin Decompilation of EVM bytecodeThesis Hochschulschrift 2020
8Wolf Mathias - 2020 - Privacy enhancing technologies for distributed ledgers.pdf.jpgWolf, Mathias Privacy enhancing technologies for distributed ledgersThesis Hochschulschrift 2020
9Hetzenecker Lukas - 2020 - Smart contracts in a DAG ledger Blockchain 50.pdf.jpgHetzenecker, Lukas Smart contracts in a DAG ledger : Blockchain 5.0Thesis Hochschulschrift 2020
10Gepp Daniel - 2018 - Ein generisches Framework fuer entscheidungsunterstuetzende...pdf.jpgGepp, Daniel Ein generisches Framework für entscheidungsunterstützende Systeme im medizinischen BereichThesis Hochschulschrift 2018
11Swoboda Sylvia - 2017 - Making Object-Z Perfect Verifaktion von Object-Z...pdf.jpgSwoboda, Sylvia Making Object-Z Perfect : Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect DeveloperThesis Hochschulschrift 2017
12Kucera Gernot - 2017 - Programmanalyse und Verifikation von SPS-Programmen.pdf.jpgKucera, Gernot Programmanalyse und Verifikation von SPS-ProgrammenThesis Hochschulschrift 2017
13Dissauer Gerald - 2016 - Formal ontology-based quantum security requirements...pdf.jpgDissauer, Gerald Formal ontology-based quantum security requirements engineering by Petri netsThesis Hochschulschrift 2016
14Scherer Markus - 2016 - Parallelizing the commutation property for functions...pdf.jpgScherer, Markus Parallelizing the commutation property for functions over small domainsThesis Hochschulschrift 2016
15Gmeiner Karl - 2014 - Transformational approaches for conditional term rewrite...pdf.jpgGmeiner, Karl Transformational approaches for conditional term rewrite systemsThesis Hochschulschrift 2014
16Sisel Tanja - 2013 - Numeric methods for configuration management.pdf.jpgSisel, Tanja Numeric methods for configuration managementThesis Hochschulschrift 2013
17Szolarz, Christian Ein grafischer Editor für objektorientierte, constraintbasierte WissensbasenThesis Hochschulschrift2011
18Niederbrucker, Gerhard A numeric semantics for UML class diagrams : semantics and toolsThesis Hochschulschrift2010
19Robinson, Peter Log file processing by machine learning and information extractionThesis Hochschulschrift2006
20Schuster, MichaelaVerdeckte Kommunikation : ein Problembereich des SecuritymanagementsThesis Hochschulschrift2006