Kammueller, Florian and 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.
Kammueller, Florian and Nurse, Jason R. C. and Probst, Christian (2016) Attack tree analysis for insider threats on the IoT using Isabelle. In: 4th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2016, 17-24 Jul 2016, Toronto, ON, Canada. (Accepted/In press)
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.