Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle

von Kammüller, Florian
Veröffentlicht in European Symposium on Research in Computer Security (28. : 2023 : Den Haag) Computer security ; Part 2: CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AL, and SECAI (2024)

Counting idempotent relations

von Kammüller, Florian
Veröffentlicht 2008

A formalization of typed aspects for the [zeta]-calculus in Isabelle/HOL

von Kammüller, Florian
Veröffentlicht 2007

Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework

von Kammüller, Florian
Veröffentlicht in DPM (15. : 2020 : Online) Data privacy management, cryptocurrencies and blockchain technology (2020)

Functional active objects : noninterference and distributed consensus

von Henrio, Ludovic
Veröffentlicht 2009

Idempotent relations in Isabelle/HOL

von Kammüller, Florian
Veröffentlicht 2004

Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders

von Kammüller, Florian
Veröffentlicht in HCI-CPT (4. : 2022 : Online) HCI for cybersecurity, privacy and trust (2022)

Isomorphism of galois embeddings

von Burghardt, Jochen
Veröffentlicht 2000

Describing and Simulating Concurrent Quantum Systems

von Bornat, Richard
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)