Florian Lanzinger

Florian Lanzinger, M.Sc. — Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 227
76131 Karlsruhe

📞 + 49 721 608-43856



Title Author(s) Source
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
Title Author(s) Source
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 (February 2021)
Title Author(s) Source
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program VerificationFlorian LanzingerKarlsruher Institut für Technologie (April 2018)

Supervised Theses

Title Type State Student Year
Modellierung von Angriffen für quantitative Sicherheitsanalysen MA open
Semantische Datenminimierung PdF open
LiquidRust: Refinement Types for Imperative Languages with Ownership MA finished Carsten Csiky 2022
Mutability for Property Types in Java MA finished Joshua Bachmeier 2022
Abhängige Eigenschaftstypen in Java BA finished Liudmila Fomenko 2022
Methode zur Datenminimierung mittels syntaktischer Programmpartitionierung BA finished Simon Gerst 2021