Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Mitarbeitende
Florian Lanzinger

Florian Lanzinger

Florian Lanzinger, M.Sc. — Wissenschaftlicher Mitarbeiter / Doktorand
Am Fasanengarten 5
Building 50.34
Office 227
76131 Karlsruhe
Germany

📞 + 49 721 608-43856
✉ lanzinger1127567653Xfd4∂kit.edu

Projekte

Publikationen

2024
Titel Autor(en) Quelle
The Java Verification Tool KeY: A TutorialBernhard Beckert
Richard Bubel
Daniel Drodt
Reiner Hähnle
Florian Lanzinger
Wolfram Pfeifer
Mattias Ulbrich
Alexander Weigl		26th International Symposium on Formal Methods (FM 2024)
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program AnalysisFlorian Lanzinger
Christian Martin
Frederik Reiche
Samuel Teuber
Robert Heinrich
Alexander Weigl		Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024
2023
Titel Autor(en) Quelle
Scalable and Precise Refinement Types for Imperative LanguagesFlorian Lanzinger
Joshua Bachmeier
Mattias Ulbrich
Werner Dietl		iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
2022
Titel Autor(en) Quelle
A Refactoring for Data Minimisation Using Formal VerificationFlorian Lanzinger
Mattias Ulbrich
Alexander Weigl		11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA 2022)
The Karlsruhe Java Verification SuiteJonas Klamroth
Florian Lanzinger
Wolfram Pfeifer
Mattias Ulbrich		The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Towards a Formal Approach for Data Minimization in ProgramsFlorian Lanzinger
Alexander Weigl		Data Privacy Management, Cryptocurrencies and Blockchain Technology
2021
Titel Autor(en) Quelle
Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationFlorian Lanzinger
Alexander Weigl
Mattias Ulbrich
Werner Dietl		Proceedings of the ACM on programming languages 5(OOPSLA)
Property Types in Java: Combining Type Systems and Deductive VerificationFlorian LanzingerKarlsruher Institut für Technologie (Februar 2021)
2018
Titel Autor(en) Quelle
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program VerificationFlorian LanzingerKarlsruher Institut für Technologie (April 2018)

Betreute Abschlussarbeiten

Titel Typ Status Student Jahr
A type system for your (least) favorite run-time error BA / MA / PdF offen — —
Closing the Gap between Models and Programs MA / PdF offen — —
Lightweight vs. heavyweight verification BA offen — —
Semantische Datenminimierung PdF offen — —
Type-Rule Synthesis with Generative AI PdF offen — —
More Efficient Property Types with SMT- Decidable Assertions BA abgeschlossen Johann Zuber 2025
Modellierung von Angriffen für quantitative Sicherheitsanalysen MA abgeschlossen Matthias Lüthy 2025
A Translation Layer for Information Flow Verification Systems: Bridging Type Systems with Theorem Prover BA abgeschlossen Felix Mühlenberend 2023
LiquidRust: Refinement Types for Imperative Languages with Ownership MA abgeschlossen Carsten Csiky 2022
Mutability for Property Types in Java MA abgeschlossen Joshua Bachmeier 2022
Abhängige Eigenschaftstypen in Java BA abgeschlossen Liudmila Fomenko 2022
Methode zur Datenminimierung mittels syntaktischer Programmpartitionierung BA abgeschlossen Simon Gerst 2021

Lehre

Veranstaltung Typ Semester
Grundbegriffe der Informatik Übung Wintersemester 2023/2024
Anwendung Formaler Methoden Seminar Wintersemester 2023/2024
Anwendung Formaler Methoden Seminar Sommersemester 2023
Anwendung Formaler Methoden Seminar Sommersemester 2021