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 | 35 | 2018 |
Proving JDK’s dual pivot quicksort correct B Beckert, J Schiffl, PH Schmitt, M Ulbrich Verified Software. Theories, Tools, and Experiments: 9th International …, 2017 | 26 | 2017 |
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 | 9 | 2021 |
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 | 8 | 2021 |
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 | 6 | 2022 |
Continuous Secure Software Development and Analysis. S Schulz, F Reiche, S Hahner, J Schiffl SSP, 2021 | 5 | 2021 |
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 | 5 | 2020 |
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 | 4 | 2021 |
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 | 4 | 2020 |
Specifying framing conditions for smart contracts B Beckert, J Schiffl Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 3 | 2020 |
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 | 2 | 2023 |
Model-driven quantification of correctness with palladio and key F Reiche, J Schiffl, AS Weigl | 2 | 2020 |
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 | 1 | 2021 |
Quantification of Correctness with Palladio and KeY: Case Study Data F Reiche, J Schiffl, A Weigl | 1 | 2021 |
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, ... | | |