Christian W. Probst

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 21

Top Topics

Healthcare Systems

Distributed Intrusion Detection

Top Venues

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

IEEE Symposium on Security and Privacy Workshops

Publications

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