TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Andreas Lackner

Dipl.-Ing. / BSc

Role

Contact

  • Let's Move2EVM / Benetollo, L., Lackner, A., Maffei, M., & Scherer, M. (2025). Let’s Move2EVM. In USENIX Association : Proceedings of the 34th USENIX Security Symposium : August 13–15, 2025 Seattle, WA, USA (pp. 1339–1355).
    Projects: BlockSec (2025–2030) / CDL-BOT (2020–2027) / ForSmart (2023–2027) / SFB SPyCoDe (2023–2030) / SPFBT (2020–2026)
  • Non-Linear reasoning in the superposition calculus / Lackner, A. (2022). Non-Linear reasoning in the superposition calculus [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.90765
    Download: PDF (734 KB)