Lukas Horn - Chair of Computer Science II

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

Am Hubland, 97074 Würzburg

Informatikgebäude, 1.OG, Room A104

E-Mail	lukas.horn@uni-wuerzburg.de
Phone	+49 (931) 31 83211
Google Scholar	BsDYCYsAAAAJ
ORCID-ID	0009-0004-4959-1371

Research Interests

Homomorphic Encryption
Secure Multiparty Computation
Functional Encryption
Privacy-Preserving Machine Learning
Cryptography
Performance Benchmarking

List of all publications: Lukas Horn

Teaching

Lectures

Systems Benchmarking (SS25)

Seminars

Learning without knowing what to learn: Training neural networks using homomorphic encryption (SS25)

Teaching Assistant (as student)

Fundamentals of Programming (WS20, WS21, WS22, WS23)
Software Technology (SS20)
Practical Course in Programming (WS20, SS21, WS21, SS22, WS22, SS23, WS23, SS24, WS24)
Preparatory Programming Course (WS21)
Theoretical Informatics (SS22, SS23, SS24)
Further Education in Theoretical Informatics for Teachers (SS22)

Open Theses

Fehleruntersuchung in homomorpher Verschlüsselung
Homomorphe Verschlüsselung

Functions and Memberships

SPEC RG Security (Secretary)

Awards

Scholarship holder of the "Exposéstipendium" by the "Studienstiftung des deutschen Volkes" (May 2025 - October 2025)
Würzburg Software Engineering Award 2022: Best Bachelor Thesis
Towards Homomorphic Data Science: Pitfalls and Insights
Scholarship holder at the "Studienstiftung des deutschen Volkes" (December 2021 - March 2025)

Selected Publications

Security Analysis of a Decentralized, Revocable and Verifiable Attribute-Based Encryption Scheme. Prantl, Thomas; Lauer, Marco; Horn, Lukas; Engel, Simon; Dingel, David; Kounev, Samuel; Bauer, André; Krupitzer, Christian; Kounev, Samuel; in Proceedings of the 19th International Conference on Availability, Reliability and Security (2024). 1–11.
- [ BibTeX ]
- [ DOI ]
@inproceedings{ARES_2024_ABE, author = {Prantl, Thomas and Lauer, Marco and Horn, Lukas and Engel, Simon and Dingel, David and Kounev, Samuel and Bauer, André and Krupitzer, Christian and Kounev, Samuel}, booktitle = {Proceedings of the 19th International Conference on Availability, Reliability and Security}, keywords = {descartes}, month = {07}, pages = {1-11}, publisher = {ACM}, series = {ARES 2024}, title = {Security Analysis of a Decentralized, Revocable and Verifiable Attribute-Based Encryption Scheme}, year = 2024 }
Benchmarking of Secure Group Communication schemes with Focus on IoT. Prantl, Thomas; Bauer, André; Engel, Simon; Horn, Lukas; Krupitzer, Christian; Iffl"{a}nder, Lukas; Kounev, Samuel; in Discover Data (2024). 2(1)
- [ BibTeX ]
- [ URL ]
@article{PrBaEnHoKrIfKo_Discover_Data_2024, author = {Prantl, Thomas and Bauer, André and Engel, Simon and Horn, Lukas and Krupitzer, Christian and Iffl"{a}nder, Lukas and Kounev, Samuel}, journal = {Discover Data}, keywords = {t_journalmagazine}, month = {05}, number = 1, publisher = {Springer Science and Business Media LLC}, title = {Benchmarking of Secure Group Communication schemes with Focus on IoT}, volume = 2, year = 2024 }
De Bello Homomorphico: Investigation of the extensibility of the OpenFHE library with basic mathematical functions by means of common approaches using the example of the CKKS cryptosystem. Prantl, Thomas; Horn, Lukas; Engel, Simon; Iffländer, Lukas; Beierlieb, Lukas; Krupitzer, Christian; Bauer, André; Sakarvadia, Mansi; Foster, Ian; Kounev, Samuel; in International Journal of Information Security (2023).
- [ BibTeX ]
- [ DOI ]
@article{PrHoEnIfBeKrBaSaFoKo_IJoIS_SGC_Pareto, author = {Prantl, Thomas and Horn, Lukas and Engel, Simon and Iffl\"ander, Lukas and Beierlieb, Lukas and Krupitzer, Christian and Bauer, Andr\'e and Sakarvadia, Mansi and Foster, Ian and Kounev, Samuel}, journal = {International Journal of Information Security}, keywords = {t_journalmagazine}, month = 11, title = {De Bello Homomorphico: Investigation of the extensibility of the OpenFHE library with basic mathematical functions by means of common approaches using the example of the CKKS cryptosystem}, year = 2023 }
Performance Impact Analysis of Homomorphic Encryption: A Case Study Using Linear Regression as an Example. Prantl, Thomas; Engel, Simon; Horn, Lukas; Kaiser, Dennis; Iffländer, Lukas; Bauer, André; Krupitzer, Christian; Kounev, Samuel; in Information Security Practice and Experience, W. Meng, Z. Yan, V. Piuri (eds.) (2023). 284–298.
- [ Abstract ]
- [ BibTeX ]
In recent years, the trend has increasingly been to store and process data in the cloud. However, this is based on the premise that cloud providers treat the data in a trustworthy manner. One way of using the data in the cloud without the provider having access to it is homomorphic encryption. However, since this encryption has only recently become practicable, analysis of its for practical applications is still in its infancy. Therefore, we investigate the performance of homomorphic encryption using a real-world application, namely linear regression. Our main finding is that although the homomorphic computation of linear regression is in the range of minutes and thus slower than in the non-homomorphic case, linear regression can be computed homomorphic and is therefore suitable for use cases where data security is the top priority.

@inproceedings{PrEnHoDeIfBaKrKo_ISPEC_De_Bello, abstract = {In recent years, the trend has increasingly been to store and process data in the cloud. However, this is based on the premise that cloud providers treat the data in a trustworthy manner. One way of using the data in the cloud without the provider having access to it is homomorphic encryption. However, since this encryption has only recently become practicable, analysis of its for practical applications is still in its infancy. Therefore, we investigate the performance of homomorphic encryption using a real-world application, namely linear regression. Our main finding is that although the homomorphic computation of linear regression is in the range of minutes and thus slower than in the non-homomorphic case, linear regression can be computed homomorphic and is therefore suitable for use cases where data security is the top priority.}, address = {Singapore}, author = {Prantl, Thomas and Engel, Simon and Horn, Lukas and Kaiser, Dennis and Iffl\"ander, Lukas and Bauer, Andr\'e and Krupitzer, Christian and Kounev, Samuel}, booktitle = {Information Security Practice and Experience}, editor = {Meng, Weizhi and Yan, Zheng and Piuri, Vincenzo}, keywords = {descartes}, pages = {284–298}, publisher = {Springer Nature Singapore}, title = {Performance Impact Analysis of Homomorphic Encryption: A Case Study Using Linear Regression as an Example}, year = 2023 }
Towards a Cryptography Encyclopedia: A Survey on Attribute-Based Encryption. Prantl, Thomas; Zeck, Timo; Horn, Lukas; Iffländer, Lukas; Bauer, André; Dmitrienko, Alexandra; Krupitzer, Christian; Kounev, Samuel; in Journal of Surveillance, Security and Safety (2023).
- [ BibTeX ]
- [ DOI ]
@article{PrZeHoIfBaDmKrKo_ABESurvey, author = {Prantl, Thomas and Zeck, Timo and Horn, Lukas and Iffl\"ander, Lukas and Bauer, Andr\'e and Dmitrienko, Alexandra and Krupitzer, Christian and Kounev, Samuel}, journal = {Journal of Surveillance, Security and Safety}, keywords = {t_journalmagazine}, title = {Towards a Cryptography Encyclopedia: A Survey on Attribute-Based Encryption}, year = 2023 }

Curriculum Vitae / Resume

since May 2025	Research assistant at the Chair of Software-Engineering (Informatik II) headed by Prof. Dr.-Ing. Samuel Kounev, University of Wuerzburg
October 2020 - April 2025	Multiple Occupations as Student Researcher and Teaching Assistant at the Institute of Computer Science, University of Wuerzburg, Germany
October 2022 - March 2025	Master of Science in Computer Science at the University of Wuerzburg, Germany
October 2019 - February 2023	Bachelor of Science in Computer Science at the University of Wuerzburg, Germany
June 2019	Abitur at the Friedrich-Rückert Gymnasium Ebern, Germany

Last Update: May 2025

List of all publications: Lukas Horn

Lectures

Seminars

Teaching Assistant (as student)

Bildnachweise