Gernot Salzer
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- Constraint Satisfaction Problems, Formal Methods in Computer Science, Automated Reasoning, Logic Programming & Constraints, Cryptography, Complexity Theory
About
1) Clausal Theorem Proving and Unification Theory 2) Proof Theory of Many-valued Logics 3) Formal Methods in Computer Science 4) Constraint Satisfaction Problems
Roles
-
Vice Dean of Academic Affairs
Informatics Bachelor
Office of the Dean, E199-01 -
Head of Research Unit
Theory and Logic, E192-05 -
Associate Professor
Theory and Logic, E192-05
Courses
2021W
- Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Project in Computer Science 1 / 185.A36 / PR
- Project in Computer Science 2 / 185.A37 / PR
- Research Seminar for Master and PhD students / 185.A39 / SE
- Scientific Research and Writing / 193.052 / SE
- Seminar in Security (Smart Contracts) / 192.128 / SE
- Seminar in Software Engineering (Smart Contracts) / 192.127 / SE
- Theoretical Computer Science and Logics / 185.278 / VU
2022S
- Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
- Formal Modelling / 185.A06 / VU
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Project in Computer Science 1 / 185.A36 / PR
- Project in Computer Science 2 / 185.A37 / PR
- Research Seminar for Master and PhD students / 185.A39 / SE
- Smart Contracts / 192.078 / VU
Projects
-
A novel decision support system for training and diagnosis in dermatology
2013 – 2015 / Austrian Research Promotion Agency (FFG) -
Algorithms and Complexity of Constraint Languages
2012 – 2016 / Austrian Science Fund (FWF) -
A graphical editor for object-oriented, constraint-based knowledge bases
2010 – 2011 / Siemens Mobility Austria GmbH
Publications
2022
- Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum / H. Rameder, M. Di Angelo, G. Salzer / Frontiers in Blockchain, 5 (2022), 1 - 20
2021
- Empirical Evaluation of MakerDAO's Resilience / M. Kjäer, M. Di Angelo, G. Salzer / Talk: 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris; 2021-09-27 - 2021-09-30; in: "Proc. Conference on Blockchain Research & Applications for Innovative Networks and Services", (2021), ISBN: 978-1-6654-3924-4; Paper ID 1570716378, 8 pages
- MCP: Capturing Big Data by Satisfiability (Tool Description) / M. Hermann, G. Salzer et al. / Talk: SAT 2021, Barcelona; 2021-07-05 - 2021-07-09; in: "Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings", Springer LNCS, 12831 (2021), ISBN: 978-3-030-80222-6; 207 - 215
- Towards the Identification of Security Tokens on Ethereum / M. Di Angelo, G. Salzer / Talk: 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2021), Paris; 2021-04-19 - 2021-04-21; in: "3rd International Workshop on Blockchains and Smart Contracts (BSC 2020-2021)", (2021), ISBN: 978-1-6654-4399-9; 5 pages
- Identification of Token Contracts on Ethereum: Standard Compliance and Beyond / M. Di Angelo, G. Salzer / International Journal of Data Science and Analytics (JDSA), 2021 (2021), online first
2020
- Assessing the Similarity of Smart Contracts by Clustering their Interfaces / M. Di Angelo, G. Salzer / Talk: 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Guangzhou, China; 2020-12-29 - 2021-01-01; in: "19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)", IEEE, (2020), ISBN: 978-0-7381-4380-4; 1 - 10
- Characteristics of Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Talk: 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, Paris; 2020-09-28 - 2020-09-30; in: "Proc. BRAINS", IEEE, (2020), 8 pages
- Functional Differences of Neo and Ethereum as Smart Contract Platforms / M. Bareis, M. Di Angelo, G. Salzer / Talk: 2nd Int. Congress on Blockchain and Applications (ICBA), Aquila; 2020-09-28 - 2020-09-30; in: "2nd International Congress on Blockchain and Applications", J. Prieto et al. (ed.); Springer, AISC 1238 (2020), ISBN: 978-3-030-52535-4; 13 - 23
- Wallet Contracts on Ethereum / M. Di Angelo, G. Salzer / Poster: International Conference on Blockchain and Cryptocurrency, Toronto, Canada; 2020-05-02 - 2020-05-06; in: "International Conference on Blockchain and Cryptocurrency", IEEE, (2020), ISBN: 978-1-7281-6680-3; 1 - 2
- Tokens, Types, and Standards: Identification and Utilization in Ethereum / M. Di Angelo, G. Salzer / Talk: International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, UK; 2020-04-13 - 2020-04-16; in: "Proc. IEEE DAPPS 2020", IEEE, (2020), ISBN: 978-1-7281-6978-1; 1 - 10
- Characterizing Types of Smart Contracts in the Ethereum Landscape / M. Di Angelo, G. Salzer / Talk: 4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; 2020-02-14 - 2020-02-16; in: "Financial Cryptography and Data Security (FC 2020) International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers", Springer, LNCS 12063 (2020), 389 - 404
2019
- Performance and Scalability of Private Ethereum Blockchains / M. Schäffer, M. Di Angelo, G. Salzer / Talk: Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; 2019-09-01 - 2019-09-06; in: "BPM Blockchain and Central and Eastern Europe Forum, Proceeddings", Springer, Lecture Notes in Business Information Processing 361 (2019), ISBN: 978-3-030-30429-4; 1 - 15
- Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time / M. Di Angelo, G. Salzer / Talk: BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; 2019-07-08 - 2019-07-15; in: "Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19)", ACM, (2019), ISBN: 978-1-4503-6785-1; 1 - 10
- Collateral Use of Deployment Code for Smart Contracts in Ethereum / M. Di Angelo, G. Salzer / Talk: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; 2019-06-24 - 2019-06-26; in: "2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)", IEEE, (2019), ISBN: 978-1-7281-1542-9; 1 - 5
- Smart Contracts in View of the Civil Code / M. Di Angelo, A. Soare, G. Salzer / Talk: SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; 2019-04-08 - 2019-04-12; in: "SAC '19: Symposium on Applied Computing Proceedings", ACM, (2019), ISBN: 978-1-4503-5933-7; 392 - 399
- A Survey of Tools for Analyzing Ethereum Smart Contracts / M. Di Angelo, G. Salzer / Talk: IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; 2019-04-05 - 2019-04-09; in: "2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings", IEEE, (2019), ISBN: 978-1-7281-1264-0; 69 - 78
- SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course / M. Di Angelo, C. Sack, G. Salzer / Talk: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; 2019-02-22 - 2019-02-26; in: "3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings", Springer, LNCS 11599 (2020), 91 - 105
- Minimal Distance of Propositional Models / M. Behrisch, M. Hermann, S. Mengel, G. Salzer / Theory of Computing Systems, 63 (2019), 6; 1131 - 1184
2016
- The Next Whisky Bar / G. Salzer, M. Hermann et al. / Talk: CSR 2016, St.Petersburg; 2016-06-09 - 2016-06-13; in: "Computer Science - Theory and Applications (11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia)", Springer, (2016), 41 - 56
- As Close as It Gets / G. Salzer, M. Behrisch, M. Hermann / Talk: {WALCOM:} Algorithms and Computation - 10th International Workshop, Kathmandu; 2016-03-29 - 2016-03-31; in: "{WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings", M. Kaykobad et al. (ed.); LNCS 9627 (2016), ISBN: 978-3-319-30139-6; 222 - 235
2015
- Why Computer Science Can't Get Enough of Clones / G. Salzer / Keynote Lecture: AAA89, Dresden (invited); 2015-02-27 - 2015-03-01
- Give me another one! / M. Behrisch, G. Salzer et al. / in: "Proceedings of 26th International Symposium on Algorithms and Computation (ISAAC 2015)", 9472; E. Elbassioni et al. (ed.); Springer LNCS, 2015, 664 - 676
- Minimal Distance of Propositional Models / G. Salzer, M. Behrisch, M. Hermann et al. / CoRR - Computing Research Repository, 1502.06761 (2015), abs/1502.06761; 28 pages
2014
- Numeric semantics of class diagrams with multiplicity and uniqueness constraints / G. Salzer, I. Feinerer / Software and Systems Modeling, 13 (2014), 3; 1167 - 1187
2013
- Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216
2012
- Configuration Repair via Flow Networks / G. Salzer, I. Feinerer, T. Sisel et al. / Talk: 20th International Symbosium, ISMIS 2012, Macao; 2012-12-04 - 2012-12-07; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330
- Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages
2011
- Reducing multiplicities in class diagrams / I. Feinerer, G. Salzer, T. Sisel / Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 2011-10-16 - 2011-10-21; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393
2010
- Computing Product Configurations via UML and Integer Linear Programming / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367
- The Helly Property and Satisfiability of Boolean Formulas Defined on Set Families / V. Chepoi, N. Creignou, M. Hermann, G. Salzer / European Journal of Combinatorics, 31 (2010), 2; 502 - 516
2009
- Algebraic foundation of a data model for an extensible space-based collaboration protocol / S. Craß, E. Kühn, G. Salzer / Talk: International Database Engineering and Applications Symposium (IDEAS 2009), Cetraro, Calabria, Italy; 2009-09-16 - 2009-09-18; in: "Proc. International Database Engineering and Applications Symposium", B. Desai, D. Saccà, S. Greco (ed.); ACM, (2009), ISBN: 978-1-60558-402-7; 301 - 306
- Description Problems over Finite Totally-Ordered Domains / G. Salzer / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
- Constraint Satisfaction Problems & Many-Valued Logics / G. Salzer / Talk: Collegium Logicum 2009 (CL2009), Wien (invited); 2009-05-27 - 2009-05-28
- A Comparison of Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Formal Aspects of Computing, 21 (2009), 3; 293 - 301
2008
- Solving Practical Configuration Problems using UML / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 2008-07-21 - 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages
- Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics / G. Salzer, V. Chepoi, N. Creignou, M. Hermann / Talk: ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic), Dallas,Texas,USA; 2008-05-16 - 2008-05-19; in: "Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic", G. Dueck (ed.); IEEE Computer Society, Washington D.C., USA (2008), ISBN: 978-0-7695-3155-7; 100 - 105
- Efficient Algorithms For Description Problems Over Finite Totally Ordered Domains / G. Salzer, M. Hermann, A Gil, B Zanuttini / SIAM JOURNAL ON COMPUTING, 38 (2008), 3; 922 - 945
- Complexity of Clausal Constraints Over Chains / N. Creignou, M. Hermann, A. Krokhin, G. Salzer / Theory of Computing Systems, 42 (2008), 2; 239 - 255
2007
- Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints / G. Salzer, I. Feinerer / Talk: TASE 2007, Shanghai; 2007-06-06 - 2007-06-08; in: "Proceedings 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering", J. He, J. Sanders (ed.); (2007), 411 - 420
2006
- Automated Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Talk: Teaching Formal Methods, London; 2006-12-15; in: "Proceedings of Teaching Formal Methods 2006", P. Boca et al. (ed.); BCS, (2006), ISSN: 1477-9358; 5 pages
- Tree Tuple Languages from the Logic Programming Point of View / G. Salzer, S Limet / Journal of Automated Reasoning, 37 (2006), 4; 323 - 349
- Basic Rewriting via Logic Programming, with an Application to the Reachability Problem / G. Salzer, S Limet / Journal of Automata, Languages and Combinatorics, 11 (2006), 1; 107 - 142
2005
- The τ model, fomalizing topic maps / G. Salzer, R. Barta / in: "Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling", issued by: Australian Computer Society; Australian Computer Society, Darlinghurst, Australia, 2005, ISSN: 1445-1336, 37 - 42
2004
- Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains / A Gil, M. Hermann, G. Salzer, B Zanuttini / Talk: Second International Joint Conference, IJCAR 2004, Cork; 2004-07-04 - 2004-07-08
- Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / Talk: RTA'04, Aachen; 2004-06-03 - 2004-06-05
- Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / in: "Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004", V van Oostrom (ed.); Springer, LNCS 3091, 2004, ISBN: 3-540-22153-0, 170 - 184
- Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains (Extended Abstract) / A Gil, M Herman, G. Salzer, B Zanuttini / in: "Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004", D Basin, M Rusinowitch (ed.); Springer, LNCS 3097, 2004, ISBN: 3-540-22345-2, 244 - 258
2003
- MUltlog and MUltseq Reanimated and Married / M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer / Talk: 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan; 2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics", (2003), 13 - 17
- Manipulating Tree Tuple Languages by Transforming Logic Programs / G. Salzer, S Limet / Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "First-Order Theorem Proving (FTP'03)", Elsevier Science Publishers, Electronic Notes in Theoretical Computer Science (2003), 15 pages
2002
- Excursions of a computer scientist into the realm of logic / G. Salzer / Talk: Seminarvortrag, Brno, Czech Republic (invited); 2002-10-29
Supervisions
- Numeric Methods for Configuration Management / Doctoral Thesis by T. Sisel / Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19
- A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell / Master Thesis by S. Craß / Supervisor: E. Kühn, G. Salzer; 185/1, 2010; final examination: 2010
- Ontology-Driven Information Extraction / Doctoral Thesis by B. Yildiz / Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24
- A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management / Doctoral Thesis by I. Feinerer / Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23
- Log File Processing by Machine Learning and Information Extraction / Master Thesis by P. Robinson / Supervisor: G. Salzer; Institut für Computersprachen E185/2, 2006
- Formal Program Verification: A Comparison of Selected Tools and Their Theoretical Foundations / Master Thesis by I. Feinerer / Supervisor: G. Salzer; E 185 Institut für Computersprachen, 2005; final examination: 2005-02-03
- Steganographische und kryptographische Grundlagen digitaler Wasserzeichen / Master Thesis by M Schuster / Supervisor: G. Salzer; Institut für Computersprachen 185, 2003
- eContracting: Foundations and Applications / Master Thesis by C. Ploninger / Supervisor: G. Salzer; Institut für Computersprachen, 2002