Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
  • EN
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Jonas Schiffl

Jonas Schiffl

Jonas Schiffl M.Sc. Jonas Schiffl - Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 226
76131 Karlsruhe
Germany

Tel.: + 49 721 608-47318
Fax: + 49 721 608-44021
Email: jonas schifflRjb4∂kit edu

Projects

Teaching



Publications

2023
Title Author(s) Source
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeYRosa Abbasi
Jonas Schiffl
Eva Darulova
Mattias Ulbrich
Wolfgang Ahrendt		Int. J. Softw. Tools Technol. Transf. 25(2)
2021
Title Author(s) Source
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access ControlJonas Schiffl
Matthias Grundmann
Marc Leinweber
Oliver Stengele
Sebastian Friebe
Bernhard Beckert		SACMAT '21: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies
Deductive Verification of Floating-Point Java Programs in KeYRosa Abbasi
Jonas Schiffl
Eva Darulova
Mattias Ulbrich
Wolfgang Ahrendt		27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), held as part of ETAPS 2021: European Joint Conferences on Theory and Practice of Software, Part II
Modeling and Verifying Access Control for Ethereum Smart ContractsFrederik Reiche
Jonas Schiffl
Bernhard Beckert
Robert Heinrich
Ralf Reussner		Karlsruher Institut für Technologie (KIT) 1000129607
Reconstructing Z3 proofs in KeY: There and back againWolfram Pfeifer
Jonas Schiffl
Mattias Ulbrich		Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021), co-located with ECOOP/ISSTA 2021, Online, 13 July 2021
2020
Title Author(s) Source
Formal Analysis of Smart Contracts: Applying the KeY SystemJonas Schiffl
Wolfgang Ahrendt
Bernhard Beckert
Richard Bubel		Deductive Software Verification: Future Perspectives
Specifying Framing Conditions for Smart ContractsBernhard Beckert
Jonas Schiffl		ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation
2019
Title Author(s) Source
Smart Contracts: Application Scenarios for Deductive Program VerificationBernhard Beckert
Jonas Schiffl
Mattias Ulbrich		1st Workshop on Formal Methods for Blockchains (FMBC 2019) hosted by the 3rd Formal Methods World Congress (FM’19)
2018
Title Author(s) Source
Specification and Verification of Hyperledger Fabric ChaincodeJonas SchifflKarlsruhe Institute of Technology (December 2018)
Formal Specification and Verification of Hyperledger Fabric ChaincodeBernhard Beckert
Mihai Herda
Michael Kirsten
Jonas Schiffl		3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM 2018: the 20th International Conference on Formal Engineering Methods
2017
Title Author(s) Source
Proving JDK's Dual Pivot Quicksort CorrectBernhard Beckert
Jonas Schiffl
Peter H. Schmitt
Mattias Ulbrich		9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
2016
Title Author(s) Source
Dual Pivot Quicksort: Specification and Verification Using KeYJonas SchifflKarlsruhe Institute of Technology (May 2016)