Christian W. Probst

98 papers A 1B 5C 10Misc 2Journal 25Unranked 42

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. DPM/CBT@ESORICS Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2022	J	`jnl`	Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. CoRR Raúl Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski
2021	—	`conf`	Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. ESORICS (2) Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2020	J	`jnl`	Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. CoRR Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski
2019	J	`jnl`	Designing Data Protection for GDPR Compliance into IoT Healthcare Systems. CoRR Florian Kammüller, Oladapo O. Ogunyanwo, Christian W. Probst
2019	—	`ed.`	Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers GraMSec Massimiliano Albanese, Ross Horne, Christian W. Probst
2019	A	`conf`	On the Meaning and Purpose of Attack Trees. CSF Heiko Mantel, Christian W. Probst
2018	Misc	`conf`	Enhancing Intelligent Alarm Reduction for Distributed Intrusion Detection Systems via Edge Computing. ACISP Weizhi Meng, Yu Wang, Wenjuan Li, Zhe Liu, Jin Li, Christian W. Probst
2018	—	`conf`	Estimating the Risk of Fraud Against E-Services. NordSec Ahmed Seid Yesuf, Christian W. Probst
2018	—	`conf`	Modelling and Analysing Overlay Networks by Ambients with Wormholes. ICMU René Rydhof Hansen, Christian W. Probst
2018	J	`jnl`	Towards Bayesian-Based Trust Management for Insider Attacks in Healthcare Software-Defined Networks. IEEE Trans. Netw. Serv. Manag. Weizhi Meng, Kim-Kwang Raymond Choo, Steven Furnell, Athanasios V. Vasilakos, Christian W. Probst
2017	—	`conf`	Behavioural Profiling in Cyber-Social Systems. HCI (22) Jason Perno, Christian W. Probst
2017	J	`jnl`	Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Florian Kammüller, Manfred Kerber, Christian W. Probst
2017	J	`jnl`	Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Syst. J. Florian Kammüller, Christian W. Probst
2016	B	`conf`	A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service. PROFES Muhammad Aufeef Chauhan, Muhammad Ali Babar, Christian W. Probst
2016	J	`jnl`	Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461). Dagstuhl Reports Tyler W. Moore, Christian W. Probst, Kai Rannenberg, Michel van Eeten
2016	—	`conf`	Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. HCI (20) Florian Kammüller, Jason R. C. Nurse, Christian W. Probst
2016	—	`conf`	Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi Christian W. Probst, Florian Kammüller, René Rydhof Hansen
2016	—	`conf`	Guaranteeing Privacy-Observing Data Exchange. ISoLA (1) Christian W. Probst
2016	—	`conf`	Model based analysis of insider threats. Cyber Security And Protection Of Digital Services Taolue Chen, Tingting Han, Florian Kammueller, Ibrahim Nemli, Christian W. Probst
2016	—	`ed.`	Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Semantics, Logics, and Calculi Christian W. Probst, Chris Hankin, René Rydhof Hansen
2016	J	`jnl`	The Navigation Metaphor in Security Economics. IEEE Secur. Priv. Wolter Pieters, Jeroen Barendse, Margaret Ford, Claude P. R. Heath, Christian W. Probst, Ruud Verbij
2016	—	`conf`	Towards Formal Analysis of Insider Threats for Auctions. MIST@CCS Florian Kammueller, Manfred Kerber, Christian W. Probst
2016	—	`conf`	Understanding How Components of Organisations Contribute to Attacks. NordSec Min Gu, Zaruhi Aslanyan, Christian W. Probst
2015	—	`conf`	A Probabilistic Analysis Framework for Malicious Insider Threats. HCI (22) Taolue Chen, Florian Kammüller, Ibrahim Nemli, Christian W. Probst
2015	C	`conf`	Attack Tree Generation by Policy Invalidation. WISTP Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
2015	J	`jnl`	Implementation of BT-trees. CoRR Lars F. Bonnichsen, Christian W. Probst, Sven Karlsson
2015	—	`conf`	Modelling Social-Technical Attacks with Timed Automata. MIST@CCS Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst
2015	—	`conf`	Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst
2015	—	`conf`	Secure Refactoring with Java Information Flow. DPM/QASA@ESORICS Steffen Helke, Florian Kammüller, Christian W. Probst
2015	—	`conf`	The Attack Navigator. GraMSec Christian W. Probst, Jan Willemson, Wolter Pieters
2015	—	`ch.`	Tool-based risk assessment of cloud infrastructures as socio-technical systems. The Cloud Security Ecosystem Michael Nidd, Marieta Georgieva Ivanova, Christian W. Probst, Axel Tanner
2015	—	`conf`	Transforming Graphical System Models to Graphical Attack Models. GraMSec Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
2014	Misc	`conf`	Automatic generation of application specific FPGA multicore accelerators. ACSSC Andreas Erik Hindborg, Pascal Schleuniger, Nicklas Bo Jensen, Maxwell Walter, Laust Brock-Nannestad, Lars F. Bonnichsen, Christian W. Probst, Sven Karlsson
2014	—	`conf`	Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. IEEE Symposium on Security and Privacy Workshops Florian Kammüller, Christian W. Probst
2014	J	`jnl`	Invalidating Policies using Structural Information. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Florian Kammüller, Christian W. Probst
2014	—	`conf`	Model-based Abstraction of Data Provenance. TAPP Christian W. Probst, René Rydhof Hansen
2014	—	`conf`	The Guided System Development Framework: Modeling and Verifying Communication Systems. ISoLA (2) Jose Quaresma, Christian W. Probst, Flemming Nielson
2013	J	`jnl`	ELB-Trees, An Efficient and Lock-free B-tree Derivative. CoRR Lars F. Bonnichsen, Sven Karlsson, Christian W. Probst
2013	J	`jnl`	Externalizing Behaviour for Analysing System Models. J. Internet Serv. Inf. Secur. Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
2013	J	`jnl`	Foreword. Sci. Comput. Program. Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson
2013	—	`conf`	Invalidating Policies using Structural Information. IEEE Symposium on Security and Privacy Workshops Florian Kammüller, Christian W. Probst
2013	J	`jnl`	Reachability-based Impact as a Measure for Insiderness. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Christian W. Probst, René Rydhof Hansen
2012	C	`conf`	A move in the security measurement stalemate: elo-style ratings to quantify vulnerability. NSPW Wolter Pieters, Sanne H. G. van der Ven, Christian W. Probst
2012	J	`jnl`	Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501). Dagstuhl Reports Lizzie Coles-Kemp, Carrie Gates, Dieter Gollmann, Sean Peisert, Christian W. Probst
2012	—	`ch.`	Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. European Data Protection Christian W. Probst, Martina Angela Sasse, Wolter Pieters, Trajce Dimkov, Erik Luysterborg, Michel Arnaud
2011	J	`jnl`	Addressing Insider Threats and Information Leakage. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Christian W. Probst, Ilsun You, Dongwan Shin, Kouichi Sakurai
2011	J	`jnl`	Identifying and Mitigating Insider Threats. it Inf. Technol. Christian W. Probst
2011	J	`jnl`	Insiders and Insider Threats - An Overview of Definitions and Mitigation Techniques. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Jeffrey Hunker, Christian W. Probst
2011	—	`conf`	Modelling Configuration Knowledge in Heterogeneous Product Families. Configuration Workshop Matthieu Quéva, Tomi Männistö, Laurent Ricci, Christian W. Probst
2011	—	`ed.`	Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011 PPPJ Christian W. Probst, Christian Wimmer
2011	J	`jnl`	Secure Architectures in the Cloud (Dagstuhl Seminar 11492). Dagstuhl Reports Sabrina De Capitani di Vimercati, Wolter Pieters, Christian W. Probst
2011	—	`conf`	Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. PPES Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst
2010	—	`conf`	10341 Abstracts Collection - Insider Threats: Strategies for Prevention, Mitigation, and Response. Insider Threats: Strategies for Prevention, Mitigation, and Response Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2010	—	`conf`	10341 Report - Insider Threats: Strategies for Prevention, Mitigation, and Response. Insider Threats: Strategies for Prevention, Mitigation, and Response Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2010	—	`ch.`	Aspects of Insider Threats. Insider Threats in Cyber Security Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
2010	J	`jnl`	From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2010	—	`book`	Insider Threats in Cyber Security Insider Threats in Cyber Security Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop
2010	—	`ed.`	Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010 Insider Threats: Strategies for Prevention, Mitigation, and Response Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2010	—	`conf`	Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction. STAIRS Matthieu Quéva, Christian W. Probst, Laurent Ricci
2010	—	`conf`	Protocol Implementation Generator. NordSec Jose Quaresma, Christian W. Probst
2010	—	`conf`	Security audits of multi-tier virtual infrastructures in public infrastructure clouds. CCSW Sören Bleikertz, Matthias Schunter, Christian W. Probst, Dimitrios Pendarakis, Konrad Eriksson
2009	—	`conf`	Analysing Access Control Specifications. SADFE Christian W. Probst, René Rydhof Hansen
2009	C	`conf`	Fluid information systems. NSPW Christian W. Probst, René Rydhof Hansen
2009	—	`ed.`	Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009 PPPJ Ben Stephenson, Christian W. Probst
2009	—	`conf`	The Risk of Risk Analysis-And its relation to the Economics of Insider Threats. WEIS Christian W. Probst, Jeffrey Hunker
2008	—	`conf`	08302 Abstracts Collection - Countering Insider Threats. Countering Insider Threats Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2008	—	`conf`	08302 Summary - Countering Insider Threats. Countering Insider Threats Christian W. Probst, Jeffrey Hunker, Matt Bishop, Dieter Gollmann
2008	J	`jnl`	An extensible analysable system model. Inf. Secur. Tech. Rep. Christian W. Probst, René Rydhof Hansen
2008	—	`ed.`	Countering Insider Threats, 20.07. - 25.07.2008 Countering Insider Threats Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst
2008	C	`conf`	From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2008	J	`jnl`	Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. Andreas Gal, Christian W. Probst, Michael Franz
2008	C	`ed.`	Proceedings of the 2008 Workshop on New Security Paradigms, Lake Tahoe, CA, USA, September 22-25, 2008 NSPW Matt Bishop, Christian W. Probst, Angelos D. Keromytis, Anil Somayaji
2008	B	`conf`	Static Validation of Licence Conformance Policies. ARES René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst
2007	—	`conf`	07041 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst
2007	—	`conf`	07041 Summary - Power-aware Computing Systems. Power-aware Computing Systems Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst
2007	—	`conf`	07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation. Power-aware Computing Systems Chris J. Bleakley, Tom Clerckx, Harald Devos, Matthias Grumer, Alex Janek, Ulrich Kremer, Christian W. Probst, Phillip Stanley-Marbell, Christian Steger, Vasanth Venkatachalam, Manuel Wendt
2007	J	`jnl`	A new way of estimating compute-boundedness and its application to dynamic voltage scaling. Int. J. Embed. Syst. Vasanth Venkatachalam, Michael Franz, Christian W. Probst
2007	C	`conf`	Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. Software Engineering Michael Franz, Andreas Gal, Christian W. Probst
2007	—	`ed.`	Power-aware Computing Systems, 21.01. - 26.01.2007 Power-aware Computing Systems Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst
2007	J	`jnl`	Power-aware computing systems. Int. J. Embed. Syst. Christian W. Probst, Ulrich Kremer, Luca Benini, Peter Schelkens
2006	B	`conf`	HotpathVM: an effective JIT compiler for resource-constrained devices. VEE Andreas Gal, Christian W. Probst, Michael Franz
2006	C	`conf`	Issues in holistic system design. PLOS Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz
2006	C	`conf`	Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). PLOS Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk
2006	C	`ed.`	Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006 PLOS Christian W. Probst
2006	—	`conf`	Program Partitioning Using Dynamic Trust Models. Formal Aspects in Security and Trust Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen
2006	B	`conf`	Sandboxing in myKlaim. ARES René Rydhof Hansen, Christian W. Probst, Flemming Nielson
2006	—	`conf`	Where Can an Insider Attack? Formal Aspects in Security and Trust Christian W. Probst, René Rydhof Hansen, Flemming Nielson
2005	—	`conf`	05141 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens
2005	—	`conf`	05141 Summary - Power-aware Computing Systems. Power-aware Computing Systems Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens
2005	—	`conf`	A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems Vasanth Venkatachalam, Christian W. Probst, Michael Franz
2005	J	`jnl`	A portable virtual machine target for proof-carrying code. Sci. Comput. Program. Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang
2005	C	`conf`	Average case vs. worst case: margins of safety in system design. NSPW Christian W. Probst, Andreas Gal, Michael Franz
2005	—	`conf`	Integrated Java Bytecode Verification. AIOOL@VMCAI Andreas Gal, Christian W. Probst, Michael Franz
2005	—	`ed.`	Power-aware Computing Systems, 3.-8. April 2005 Power-aware Computing Systems Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens
2005	—	`conf`	Structural Encoding of Static Single Assignment Form. COCV Andreas Gal, Christian W. Probst, Michael Franz
2002	—	`book`	A demand-driven solver for constraint-based control flow analysis. Christian W. Probst
2002	B	`conf`	Modular Control Flow Analysis for Libraries. SAS Christian W. Probst