Folgen
Jonas Schiffl
Jonas Schiffl
Bestätigte E-Mail-Adresse bei kit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
352018
Proving JDK’s dual pivot quicksort correct
B Beckert, J Schiffl, PH Schmitt, M Ulbrich
Verified Software. Theories, Tools, and Experiments: 9th International …, 2017
252017
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
92021
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
62022
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
62021
Continuous Secure Software Development and Analysis.
S Schulz, F Reiche, S Hahner, J Schiffl
SSP, 2021
52021
Formal analysis of smart contracts: applying the KeY system
J Schiffl, W Ahrendt, B Beckert, R Bubel
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
52020
Modeling and Verifying Access Control for Ethereum Smart Contracts
F Reiche, J Schiffl, B Beckert, R Heinrich, R Reussner
Inst. of Inf. Secur. and Dependability (KASTEL), 2021
42021
Specifying framing conditions for smart contracts
B Beckert, J Schiffl
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
32020
Smart contracts: application scenarios for deductive program verification
B Beckert, J Schiffl, M Ulbrich
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
32020
Combining rule-and SMT-based reasoning for verifying floating-point Java programs in KeY
R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt
International Journal on Software Tools for Technology Transfer 25 (2), 185-204, 2023
22023
Model-driven quantification of correctness with palladio and key
F Reiche, J Schiffl, AS Weigl
22020
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
12021
Quantification of Correctness with Palladio and KeY: Case Study Data
F Reiche, J Schiffl, A Weigl
12021
Static Capability-Based Security for Smart Contracts
J Schiffl, A Weigl, B Beckert
2023 IEEE International Conference on Decentralized Applications and …, 2023
2023
Are Formal Contracts a useful Digital Twin of Software Systems?
J Schiffl, A Weigl
Proceedings of the Workshop on Applications of Formal Methods and Digital …, 2023
2023
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
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
2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)| 979-8-3503-3535-4/23/$31.00© 2023 IEEE| DOI: 10.1109/DAPPS57946. 2023.00031
M Albano, MS Arbabi, O Ascigil, S Avestimehr, S Bakiras, Z Batool, ...
DAPPS 2023
T Austin, H Bandara, M Bartoletti, P Bellavista, SY Chang, M Ciampi, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20