TU Wien Informatics

20 Years

Gernot Salzer

Ao.Univ.Prof. Dipl.-Ing. Dr.techn.

Research Focus

Research Areas

  • Constraint Satisfaction Problems, Formal Methods in Computer Science, Automated Reasoning, Security, Computational Complexity, Blockchain Technology, Smart Contracts
Gernot Salzer

About

Security of Blockchain Programs (Smart Contracts), Complexity Theory, Automated Reasoning

Roles

2024

2023

  • Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts / di Angelo, M., & Salzer, G. (2023). Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts. In A. Essex, S. Matsuo, & O. Kulyk (Eds.), Financial Cryptography and Data Security. FC 2023 International Workshops : Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers (pp. 439–455). Springer. https://doi.org/10.1007/978-3-031-48806-1_28
  • SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts / Monika di Angelo, Durieux, T., Ferreira João F., & Gernot Salzer. (2023). SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 2102–2105). IEEE. https://doi.org/10.1109/ASE56229.2023.00060

2022

2021

2020

  • Assessing the Similarity of Smart Contracts by Clustering their Interfaces / di Angelo, M., & Salzer, G. (2020). Assessing the Similarity of Smart Contracts by Clustering their Interfaces. In 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Guangzhou, China. IEEE. https://doi.org/10.1109/trustcom50675.2020.00261
  • Wallet Contracts on Ethereum / Di Angelo, M., & Salzer, G. (2020). Wallet Contracts on Ethereum. In International Conference on Blockchain and Cryptocurrency (pp. 1–2). IEEE. http://hdl.handle.net/20.500.12708/58164
  • Characterizing Types of Smart Contracts in the Ethereum Landscape / di Angelo, M., & Salzer, G. (2020). Characterizing Types of Smart Contracts in the Ethereum Landscape. In Financial Cryptography and Data Security (pp. 389–404). Springer. https://doi.org/10.1007/978-3-030-54455-3_28
  • Tokens, Types, and Standards: Identification and Utilization in Ethereum / di Angelo, M., & Salzer, G. (2020). Tokens, Types, and Standards: Identification and Utilization in Ethereum. In 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, United Kingdom of Great Britain and Northern Ireland (the). IEEE. https://doi.org/10.1109/dapps49028.2020.00001
  • Functional Differences of Neo and Ethereum as Smart Contract Platforms / Bareis, M., di Angelo, M., & Salzer, G. (2020). Functional Differences of Neo and Ethereum as Smart Contract Platforms. In J. Prieto (Ed.), Advances in Intelligent Systems and Computing (pp. 13–23). Springer. https://doi.org/10.1007/978-3-030-52535-4_2
  • SoK: Development of Secure Smart Contracts – Lessons from a Graduate Course / di Angelo, M., Sack, C., & Salzer, G. (2020). SoK: Development of Secure Smart Contracts – Lessons from a Graduate Course. In Financial Cryptography and Data Security (pp. 91–105). Springer. https://doi.org/10.1007/978-3-030-43725-1_8
  • Characteristics of Wallet Contracts on Ethereum / di Angelo, M., & Salzer, G. (2020). Characteristics of Wallet Contracts on Ethereum. In 2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, Paris, France. IEEE. https://doi.org/10.1109/brains49436.2020.9223287

2019

  • Smart contracts in view of the civil code / di Angelo, M., Soare, A., & Salzer, G. (2019). Smart contracts in view of the civil code. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. SAC ’19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus. ACM. https://doi.org/10.1145/3297280.3297321
  • Mayflies, Breeders, and Busy Bees in Ethereum / di Angelo, M., & Salzer, G. (2019). Mayflies, Breeders, and Busy Bees in Ethereum. In Proceedings of the Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts  - BCC ’19. BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand. ACM. https://doi.org/10.1145/3327959.3329537
  • A Survey of Tools for Analyzing Ethereum Smart Contracts / di Angelo, M., & Salzer, G. (2019). A Survey of Tools for Analyzing Ethereum Smart Contracts. In 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON). IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco, United States of America (the). IEEE. https://doi.org/10.1109/dappcon.2019.00018
  • Collateral Use of Deployment Code for Smart Contracts in Ethereum / di Angelo, M., & Salzer, G. (2019). Collateral Use of Deployment Code for Smart Contracts in Ethereum. In 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS). 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria, Spain. IEEE. https://doi.org/10.1109/ntms.2019.8763828
  • Minimal Distance of Propositional Models / Behrisch, M., Hermann, M., Mengel, S., & Salzer, G. (2019). Minimal Distance of Propositional Models. Theory of Computing Systems, 63(6), 1131–1184. https://doi.org/10.1007/s00224-018-9896-8
  • Performance and Scalability of Private Ethereum Blockchains / Schäffer, M., di Angelo, M., & Salzer, G. (2019). Performance and Scalability of Private Ethereum Blockchains. In Business Process Management: Blockchain and Central and Eastern Europe Forum (pp. 103–118). Springer. https://doi.org/10.1007/978-3-030-30429-4_8

2018

  • Minimal Distance of Propositional Models / Behrisch, M., Hermann, M., Mengel, S., & Salzer, G. (2018). Minimal Distance of Propositional Models. Theory of Computing Systems. https://doi.org/10.1007/s00224-018-9896-8
    Download: PDF (1.72 MB)

2016

  • The Next Whisky Bar / Salzer, G., & Hermann, M. (2016). The Next Whisky Bar. In Computer Science – Theory and Applications (pp. 41–56). Springer. https://doi.org/10.1007/978-3-319-34171-2_4
  • As Close as It Gets / Salzer, G., Behrisch, M., & Hermann, M. (2016). As Close as It Gets. In M. Kaykobad (Ed.), {WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings (pp. 222–235). http://hdl.handle.net/20.500.12708/56476

2015

  • Minimal Distance of Propositional Models / Salzer, G., Behrisch, M., & Hermann, M. (2015). Minimal Distance of Propositional Models. arXiv. https://doi.org/10.48550/arXiv.1502.06761
  • Why Computer Science Can't Get Enough of Clones / Salzer, G. (2015). Why Computer Science Can’t Get Enough of Clones. AAA89, Dresden, EU. http://hdl.handle.net/20.500.12708/86034
  • Give Me Another One! / Behrisch, M., & Salzer, G. (2015). Give Me Another One! In I. Elbassioni (Ed.), Algorithms and Computation (pp. 664–676). Springer LNCS. https://doi.org/10.1007/978-3-662-48971-0_56

2014

2013

  • Class Diagrams with Equated Association Chains / Feinerer, I., Salzer, G., & Sisel, T. (2013). Class Diagrams with Equated Association Chains. In 2013 International Symposium on Theoretical Aspects of Software Engineering. 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham, EU. https://doi.org/10.1109/tase.2013.35

2012

  • Configuration Repair via Flow Networks / Salzer, G., Feinerer, I., & Sisel, T. (2012). Configuration Repair via Flow Networks. In C. Li & A. Felfernig (Eds.), Foundations of Intelligent Systems 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012, Proceedings (pp. 321–330). https://doi.org/10.1007/978-3-642-34624-8_37

2011

  • Reducing Multiplicities in Class Diagrams / Feinerer, I., Salzer, G., & Sisel, T. (2011). Reducing Multiplicities in Class Diagrams. In Model Driven Engineering Languages and Systems (pp. 379–393). https://doi.org/10.1007/978-3-642-24485-8_27

2010

2009

2008

2007

2006

2005

  • The τ model, fomalizing topic maps / Salzer, G., & Barta, R. (2005). The τ model, fomalizing topic maps. In Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling (pp. 37–42). Australian Computer Society. http://hdl.handle.net/20.500.12708/51781

2004

2002

 

2024

2023

2022

2021

2020

  • Language properties for smart contracts / Rizvanović, A. (2020). Language properties for smart contracts [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.55148
    Download: PDF (1.01 MB)
  • Privacy enhancing technologies for distributed ledgers / Wolf, M. (2020). Privacy enhancing technologies for distributed ledgers [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.74343
    Download: PDF (1.05 MB)
  • Decompilation of EVM bytecode / Kurzmann, M. (2020). Decompilation of EVM bytecode [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.66186
    Download: PDF (1.26 MB)
  • Smart contracts in a DAG ledger : Blockchain 5.0 / Hetzenecker, L. (2020). Smart contracts in a DAG ledger : Blockchain 5.0 [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.62445
    Download: PDF (2.82 MB)

2018

2017

2016

2014

2013

2012

2011

2010

2006

2003

2002

  • eContracting : foundations and applications / Ploninger, C. (2002). eContracting : foundations and applications [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185220