Items where Author / Artist / Editor is "Kerber, Manfred"

Article

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kerber, Manfred (2021) Applying the Isabelle insider framework to airplane security. Science of Computer Programming, 206 , 102623. ISSN 0167-6423 [Article] (doi:10.1016/J.SCICO.2021.102623)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Kerber, Manfred and Probst, Christian (2017) Insider threats for auctions: formalization, mechanized proof, and code generation. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 8 (1) . pp. 44-78. ISSN 2093-5374 [Article] (doi:10.22667/JOWUA.2017.03.31.044)

Monograph

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kerber, Manfred (2020) Applying the Isabelle Insider framework to airplane security. Working Paper. Preprint, arxiv.org. . [Monograph]

Conference or Workshop Item

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Kerber, Manfred and Probst, Christian (2016) Towards formal analysis of insider threats for auctions. Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats (MIST '16). In: ACM-CCS Workshop on Management of Security of Insider Threats, 28 Oct 2016, Vienna, Austria. ISBN 9781450345712. [Conference or Workshop Item] (doi:10.1145/2995959.2995963)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kerber, Manfred (2016) Investigating airplane safety and security against insider threats using logical modeling. 2016 IEEE Security and Privacy Workshops (SPW). In: 2016 IEEE Security and Privacy Workshops SPW'16: Workshop on Research in Insider Threats WRIT'16, 22-26 May 2016, San Jose, CA, USA. ISBN 9781509008247. ISSN 2375-1207 [Conference or Workshop Item] (doi:10.1109/SPW.2016.47)