Secure Software Systems Group

Lukas Petzi

Chair of Software Engineering (Informatik II)
Department of Computer Science
University of Würzburg

Am Hubland, 97074 Würzburg

Informatikgebäude, 2.OG, Room B208

E-Mail:  lukas.petzi@uni-wuerzburg.de


  • Since Oct 2022 :               Research Assistant at the Chair of Software-Engineering, University of Würzburg  
  • Nov 2020 – Sep 2022 :   Student research assistant at the Chair of Software-Engineering, University of Würzburg


Research interests

  • IoT Security
  • Remote Attestation



WS 2022

  • Introduction to IT Security [exercises]

WS 2021

  • Introduction to IT Security [exercises]


2023[ to top ]
  • Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. Sendner, Christoph; Chen, Huili; Fereidooni, Hossein; Petzi, Lukas; König, Jan; Stang, Jasper; Dmitrienko, Alexandra; Sadeghi, Ahmad-Reza; Koushanfar, Farinaz; in To appear at the Network and Distributed System Security Symposium (NDSS) (2023).
  • Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study. Sendner, Christoph; Petzi, Lukas; Stang, Jasper; Dmitrienko, Alexandra; in arXiv:2312.16533 (2023).
2022[ to top ]
  • SCRAPS: Scalable Collective Remote Attestation for Pub-Sub IoT Networks with Untrusted Proxy Verifier. Petzi, Lukas; Ben Yahya, Ala Eddine; Dmitrienko, Alexandra; Tsudik, Gene; Prantl, Thomas; Kounev, Samuel; in USENIX Security (2022).
2021[ to top ]
  • Remote Attestation for IoT with Smart Verifier. Petzi, Lukas; Thesis; University of Würzburg. (2021, January).