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

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Kammueller, Florian, 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 (doi:10.22667/JOWUA.2017.03.31.044)

Conference or Workshop Item

Kammueller, Florian, Kerber, Manfred and Probst, Christian (2016) Towards formal analysis of insider threats for auctions. In: ACM-CCS Workshop on Management of Security of Insider Threats, 28 Oct 2016, Vienna, Austria. (doi:10.1145/2995959.2995963)

Kammueller, Florian and Kerber, Manfred (2016) Investigating airplane safety and security against insider threats using logical modeling. 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. (doi:10.1109/SPW.2016.47)

This list was generated on Thu Dec 5 04:55:26 2019 GMT.