Lukas Petzi
Chair of Software Engineering (Informatik II)
Department of Computer Science
University of Würzburg
Am Hubland, 97074, Würzburg, Germany
Informatikgebäude, 2.OG, Room B208
E-Mail: lukas.petzi@uni-wuerzburg.de
Occupation
- 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
Projects
Teaching
WS 2022
- Introduction to IT Security [exercises]
WS 2021
- Introduction to IT Security [exercises]
Publications
2024[ to top ]
-
Large-Scale Study of Vulnerability Scanners for Ethereum Smart Contracts. in To appear in the IEEE Symposium on Security & Privacy (2024).
- [ BibTeX ]
- [ BibSonomy-Post ]
-
PUF-Based Device-to-Device Authentication in IoT without Trusted Intermediaries. Thesis; University of Würzburg. (2024).
- [ BibTeX ]
- [ Download ]
- [ BibSonomy-Post ]
-
PUF-based Authentication in IoT against Strong Physical Adversary using Zero-Knowledge Proofs. in SafeThings (2024).
- [ BibTeX ]
- [ Download ]
- [ BibSonomy-Post ]
2023[ to top ]
-
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study. in arXiv:2312.16533 (2023).
- [ BibTeX ]
- [ URL ]
- [ Download ]
- [ BibSonomy-Post ]
-
Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. in To appear at the Network and Distributed System Security Symposium (NDSS) (2023).
- [ BibTeX ]
- [ Download ]
- [ BibSonomy-Post ]
2022[ to top ]
-
SCRAPS: Scalable Collective Remote Attestation for Pub-Sub IoT Networks with Untrusted Proxy Verifier. in USENIX Security (2022).
- [ Abstract ]
- [ BibTeX ]
- [ Download ]
- [ BibSonomy-Post ]
2021[ to top ]
-
Remote Attestation for IoT with Smart Verifier. Thesis; University of Würzburg. (2021, January).
- [ Abstract ]
- [ BibTeX ]
- [ Download ]
- [ BibSonomy-Post ]