Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Salzer, Gernot
 
Main Affiliation Organisations­zuordnung
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Rameder, Heidelinde ; di Angelo, Monika ; Salzer, Gernot Review of Automated Vulnerability Analysis of Smart Contracts on EthereumArtikel Article 2022
2Di Angelo, Monika ; Salzer, Gernot Identification of token contracts on Ethereum: standard compliance and beyondArtikel Article 3-Sep-2021
3Di Angelo, Monika ; Salzer, Gernot Towards the Identification of Security Tokens on EthereumKonferenzbeitrag Inproceedings 2021
4Kjäer, Martin ; Di Angelo, Monika ; Salzer, Gernot Empirical Evaluation of MakerDAO's ResilienceKonferenzbeitrag Inproceedings 2021
5Hermann, Miki ; Salzer, Gernot MCP: Capturing Big Data by Satisfiability (Tool Description)Konferenzbeitrag Inproceedings 2021
6di Angelo, Monika ; Sack, Christian ; Salzer, Gernot SoK: Development of Secure Smart Contracts – Lessons from a Graduate CourseKonferenzbeitrag Inproceedings 2020
7di Angelo, Monika ; Salzer, Gernot Tokens, Types, and Standards: Identification and Utilization in EthereumKonferenzbeitrag Inproceedings 2020
8di Angelo, Monika ; Salzer, Gernot Characterizing Types of Smart Contracts in the Ethereum LandscapeKonferenzbeitrag Inproceedings 2020
9Bareis, Marco ; di Angelo, Monika ; Salzer, Gernot ; Prieto, Javier Functional Differences of Neo and Ethereum as Smart Contract PlatformsKonferenzbeitrag Inproceedings 2020
10Di Angelo, Monika ; Salzer, Gernot Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
11di Angelo, Monika ; Salzer, Gernot Characteristics of Wallet Contracts on EthereumKonferenzbeitrag Inproceedings 2020
12di Angelo, Monika ; Salzer, Gernot Assessing the Similarity of Smart Contracts by Clustering their InterfacesKonferenzbeitrag Inproceedings 2020
13Schäffer, Markus ; di Angelo, Monika ; Salzer, Gernot Performance and Scalability of Private Ethereum BlockchainsKonferenzbeitrag Inproceedings 2019
14di Angelo, Monika ; Salzer, Gernot Collateral Use of Deployment Code for Smart Contracts in EthereumKonferenzbeitrag Inproceedings 2019
15di Angelo, Monika ; Salzer, Gernot Mayflies, Breeders, and Busy Bees in EthereumKonferenzbeitrag Inproceedings 2019
16di Angelo, Monika ; Salzer, Gernot A Survey of Tools for Analyzing Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2019
17di Angelo, Monika ; Soare, Alfred ; Salzer, Gernot Smart contracts in view of the civil codeKonferenzbeitrag Inproceedings 2019
18Behrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot Minimal Distance of Propositional ModelsArtikel Article2019
19Behrisch Mike - 2018 - Minimal Distance of Propositional Models.pdf.jpgBehrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot Minimal Distance of Propositional ModelsArticle Artikel 2018
20Salzer, Gernot ; Hermann, Miki The Next Whisky BarKonferenzbeitrag Inproceedings 2016

Results 1-15 of 15 (Search time: 0.015 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Yuecel Tan - 2022 - Identifying related smart contracts by their bytecode.pdf.jpgYücel, Tan Identifying related smart contracts by their bytecodeThesis Hochschulschrift 2022
2Gorgoris Philippos - 2021 - Identifying Administrators of Smart Contracts from...pdf.jpgGorgoris, Philippos Identifying administrators of smart contracts from transaction dataThesis Hochschulschrift 2021
3Rameder 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
4Hetzenecker Lukas - 2020 - Smart contracts in a DAG ledger Blockchain 50.pdf.jpgHetzenecker, Lukas Smart contracts in a DAG ledger : Blockchain 5.0Thesis Hochschulschrift 2020
5Kurzmann Martin - 2020 - Decompilation of EVM bytecode.pdf.jpgKurzmann, Martin Decompilation of EVM bytecodeThesis Hochschulschrift 2020
6Wolf Mathias - 2020 - Privacy-Enhancing Technologies for Distributed Ledgers.pdf.jpgWolf, Mathias Privacy enhancing technologies for distributed ledgersThesis Hochschulschrift 2020
7Rizvanovic Aldin - 2021 - Language Properties for Smart Contracts.pdf.jpgRizvanović, Aldin Language properties for smart contractsThesis Hochschulschrift 2020
8Gepp Daniel - 2018 - Ein generisches Framework fuer entscheidungsunterstuetzende...pdf.jpgGepp, Daniel Ein generisches Framework für entscheidungsunterstützende Systeme im medizinischen BereichThesis Hochschulschrift 2018
9Swoboda 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
10Kucera Gernot - 2017 - Programmanalyse und Verifikation von SPS-Programmen.pdf.jpgKucera, Gernot Programmanalyse und Verifikation von SPS-ProgrammenThesis Hochschulschrift 2017
11Dissauer Gerald - 2016 - Formal ontology-based quantum security requirements...pdf.jpgDissauer, Gerald Formal ontology-based quantum security requirements engineering by Petri netsThesis Hochschulschrift 2016
12Scherer Markus - 2016 - Parallelizing the commutation property for functions...pdf.jpgScherer, Markus Parallelizing the commutation property for functions over small domainsThesis Hochschulschrift 2016
13Gmeiner Karl - 2014 - Transformational approaches for conditional term rewrite...pdf.jpgGmeiner, Karl Transformational approaches for conditional term rewrite systemsThesis Hochschulschrift 2014
14Szolarz, Christian Ein grafischer Editor für objektorientierte, constraintbasierte WissensbasenThesis Hochschulschrift2011
15Niederbrucker, Gerhard A numeric semantics for UML class diagrams : semantics and toolsThesis Hochschulschrift2010