Follow
Jonas Schiffl
Title
Cited by
Cited by
Year
Formal specification and verification of Hyperledger Fabric chaincode
B Beckert, M Herda, M Kirsten, J Schiffl
3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with …, 2018
202018
Proving JDK’s dual pivot quicksort correct
B Beckert, J Schiffl, PH Schmitt, M Ulbrich
Working Conference on Verified Software: Theories, Tools, and Experiments, 35-48, 2017
172017
Towards correct smart contracts: a case study on formal verification of access control
J Schiffl, M Grundmann, M Leinweber, O Stengele, S Friebe, B Beckert
Proceedings of the 26th ACM Symposium on Access Control Models and …, 2021
42021
Modeling and Verifying Access Control for Ethereum Smart Contracts
F Reiche, J Schiffl, B Beckert, R Heinrich, R Reussner
Technical Report 1000129607. KITopen, 2021
42021
Deductive verification of floating-point Java programs in KeY
R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt
International Conference on Tools and Algorithms for the Construction and …, 2021
22021
Continuous Secure Software Development and Analysis.
S Schulz, F Reiche, S Hahner, J Schiffl
SSP, 2021
22021
Formal Analysis of Smart Contracts: Applying the KeY System
J Schiffl, W Ahrendt, B Beckert, R Bubel
Deductive Software Verification: Future Perspectives, 204-218, 2020
22020
Smart contracts: application scenarios for deductive program verification
B Beckert, J Schiffl, M Ulbrich
International Symposium on Formal Methods, 293-298, 2019
22019
Modeling and Enforcing Access Control Policies for Smart Contracts
JP Töberg, J Schiffl, F Reiche, B Beckert, R Heinrich, R Reussner
2022 IEEE International Conference on Decentralized Applications and …, 2022
2022
Reconstructing z3 proofs in KeY: there and back again
W Pfeifer, J Schiffl, M Ulbrich
Proceedings of the 23rd ACM International Workshop on Formal Techniques for …, 2021
2021
Deductive Verification of Floating-Point Java Programs in KeY
RA Boroujeni, J Schiffl, E Darulova, M Ulbrich, W Ahrendt
arXiv preprint arXiv:2101.08733, 2021
2021
Quantification of Correctness with Palladio and KeY: Case Study Data
F Reiche, J Schiffl, A Weigl
2021
Deductive Verification of Floating-Point Java Programs in KeY
R Abbasi Boroujeni, J Schiffl, E Darulova, M Ulbrich, W Ahrendt
arXiv e-prints, arXiv: 2101.08733, 2021
2021
Specifying Framing Conditions for Smart Contracts
B Beckert, J Schiffl
International Symposium on Leveraging Applications of Formal Methods, 43-59, 2020
2020
Wartung und Weiterentwicklung von BEAST zur Automatischen Wahlverifikation durch SBMC
B Beckert, S Meinhart, P Kern, M Kirsten, J Klamroth, F Lanzinger, ...
The system can't perform the operation now. Try again later.
Articles 1–15