A demand-driven solver for constraint-based control flow analysis. - Christian W. Probst (COD Verlag, 2002)

Modular Control Flow Analysis for Libraries. - Christian W. Probst (SAS, 2002)

05141 Summary - Power-aware Computing Systems. - Luca Benini; Ulrich Kremer; Christian W. Probst; Peter Schelkens (Power-aware Computing Systems, 2005)

05141 Abstracts Collection - Power-aware Computing Systems. - Luca Benini; Ulrich Kremer; Christian W. Probst; Peter Schelkens (Power-aware Computing Systems, 2005)

A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. - Vasanth Venkatachalam; Christian W. Probst; Michael Franz (Power-aware Computing Systems, 2005)

Average case vs. worst case: margins of safety in system design. - Christian W. Probst; Andreas Gal; Michael Franz (NSPW, 2005)

Integrated Java Bytecode Verification. - Andreas Gal; Christian W. Probst; Michael Franz (AIOOL@VMCAI, 2005)

Structural Encoding of Static Single Assignment Form. - Andreas Gal; Christian W. Probst; Michael Franz (COCV@ETAPS, 2005)

A portable virtual machine target for proof-carrying code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Christian W. Probst; Fermín Reig; Ning Wang (Sci. Comput. Program., 2005)

Sandboxing in myKlaim. - René Rydhof Hansen; Christian W. Probst; Flemming Nielson (ARES, 2006)

Issues in holistic system design. - Julia L. Lawall; Christian W. Probst; Ulrik Pagh Schultz (PLOS, 2006)

Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). - Christian W. Probst; Andreas Gal; Robert Grimm 001; Olaf Spinczyk (PLOS, 2006)

Where Can an Insider Attack? - Christian W. Probst; René Rydhof Hansen; Flemming Nielson (Formal Aspects in Security and Trust, 2006)

Program Partitioning Using Dynamic Trust Models. - Dan Søndergaard; Christian W. Probst; Christian Damsgaard Jensen; René Rydhof Hansen (Formal Aspects in Security and Trust, 2006)

HotpathVM: an effective JIT compiler for resource-constrained devices. - Andreas Gal; Christian W. Probst; Michael Franz (VEE, 2006)

07041 Summary - Power-aware Computing Systems. - Luca Benini; Naehyuck Chang; Ulrich Kremer; Christian W. Probst (Power-aware Computing Systems, 2007)

07041 Abstracts Collection - Power-aware Computing Systems. - Luca Benini; Naehyuck Chang; Ulrich Kremer; Christian W. Probst (Power-aware Computing Systems, 2007)

07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation. - 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 (Power-aware Computing Systems, 2007)

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. - Michael Franz; Andreas Gal; Christian W. Probst (Software Engineering, 2007)

Power-aware computing systems. - Christian W. Probst; Ulrich Kremer; Luca Benini; Peter Schelkens (Int. J. Embed. Syst., 2007)

A new way of estimating compute-boundedness and its application to dynamic voltage scaling. - Vasanth Venkatachalam; Michael Franz; Christian W. Probst (Int. J. Embed. Syst., 2007)

Static Validation of Licence Conformance Policies. - René Rydhof Hansen; Flemming Nielson; Hanne Riis Nielson; Christian W. Probst (ARES, 2008)

08302 Abstracts Collection - Countering Insider Threats. - Matt Bishop; Dieter Gollmann; Jeffrey Hunker; Christian W. Probst (Countering Insider Threats, 2008)

08302 Summary - Countering Insider Threats. - Christian W. Probst; Jeffrey Hunker; Matt Bishop; Dieter Gollmann (Countering Insider Threats, 2008)

An extensible analysable system model. - Christian W. Probst; René Rydhof Hansen (Inf. Secur. Tech. Rep., 2008)

Java bytecode verification via static single assignment form. - Andreas Gal; Christian W. Probst; Michael Franz (ACM Trans. Program. Lang. Syst., 2008)

Fluid information systems. - Christian W. Probst; René Rydhof Hansen (NSPW, 2009)

Analysing Access Control Specifications. - Christian W. Probst; René Rydhof Hansen (SADFE, 2009)

The Risk of Risk Analysis-And its relation to the Economics of Insider Threats. - Christian W. Probst; Jeffrey Hunker (WEIS, 2009)

Security audits of multi-tier virtual infrastructures in public infrastructure clouds. - Sören Bleikertz; Matthias Schunter; Christian W. Probst; Dimitrios Pendarakis; Konrad Eriksson (CCSW, 2010)

10341 Abstracts Collection - Insider Threats: Strategies for Prevention, Mitigation, and Response. - Matt Bishop; Lizzie Coles-Kemp; Dieter Gollmann; Jeffrey Hunker; Christian W. Probst (Insider Threats: Strategies for Prevention, Mitigation, and Response, 2010)

10341 Report - Insider Threats: Strategies for Prevention, Mitigation, and Response. - Matt Bishop; Lizzie Coles-Kemp; Dieter Gollmann; Jeffrey Hunker; Christian W. Probst (Insider Threats: Strategies for Prevention, Mitigation, and Response, 2010)

Protocol Implementation Generator. - Jose Quaresma; Christian W. Probst (NordSec, 2010)

Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction. - Matthieu Quéva; Christian W. Probst; Laurent Ricci (STAIRS, 2010)

From Flow Logic to static type systems for coordination languages. - Rocco De Nicola; Daniele Gorla; René Rydhof Hansen; Flemming Nielson; Hanne Riis Nielson; Christian W. Probst; Rosario Pugliese (Sci. Comput. Program., 2010)

Aspects of Insider Threats. - Christian W. Probst; Jeffrey Hunker; Dieter Gollmann; Matt Bishop (Insider Threats in Cyber Security, 2010)

Modelling Configuration Knowledge in Heterogeneous Product Families. - Matthieu Quéva; Tomi Männistö; Laurent Ricci; Christian W. Probst (Configuration Workshop, 2011)

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. - Martin Schoeberl; Pascal Schleuniger; Wolfgang Puffitsch; Florian Brandner; Christian W. Probst (PPES, 2011)

Secure Architectures in the Cloud (Dagstuhl Seminar 11492). - Sabrina De Capitani di Vimercati; Wolter Pieters; Christian W. Probst (Dagstuhl Reports, 2011)

Identifying and Mitigating Insider Threats. - Christian W. Probst (it Inf. Technol., 2011)

Insiders and Insider Threats - An Overview of Definitions and Mitigation Techniques. - Jeffrey Hunker; Christian W. Probst (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2011)

Addressing Insider Threats and Information Leakage. - Christian W. Probst; Ilsun You; Dongwan Shin; Kouichi Sakurai (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2011)

Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. - Christian W. Probst; Martina Angela Sasse; Wolter Pieters; Trajce Dimkov; Erik Luysterborg; Michel Arnaud (European Data Protection, 2012)

A move in the security measurement stalemate: elo-style ratings to quantify vulnerability. - Wolter Pieters; Sanne H. G. van der Ven; Christian W. Probst (NSPW, 2012)

Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501). - Lizzie Coles-Kemp; Carrie Gates; Dieter Gollmann; Sean Peisert; Christian W. Probst (Dagstuhl Reports, 2012)

ELB-Trees, An Efficient and Lock-free B-tree Derivative. - Lars F. Bonnichsen; Sven Karlsson; Christian W. Probst (CoRR, 2013)

Externalizing Behaviour for Analysing System Models. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (J. Internet Serv. Inf. Secur., 2013)

Reachability-based Impact as a Measure for Insiderness. - Christian W. Probst; René Rydhof Hansen (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013)

Foreword. - Markus Aleksy; Ralf Gitzel; Andreas Krall; Hanspeter Mössenböck; Christian W. Probst; Ben Stephenson (Sci. Comput. Program., 2013)

Automatic generation of application specific FPGA multicore accelerators. - Andreas Erik Hindborg; Pascal Schleuniger; Nicklas Bo Jensen; Maxwell Walter; Laust Brock-Nannestad; Lars F. Bonnichsen; Christian W. Probst; Sven Karlsson (ACSSC, 2014)

The Guided System Development Framework: Modeling and Verifying Communication Systems. - Jose Quaresma; Christian W. Probst; Flemming Nielson (ISoLA (2), 2014)

Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. - Florian Kammüller; Christian W. Probst (IEEE Symposium on Security and Privacy Workshops, 2014)

Model-based Abstraction of Data Provenance. - Christian W. Probst; René Rydhof Hansen (TAPP, 2014)

Invalidating Policies using Structural Information. - Florian Kammüller; Christian W. Probst (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Tool-based risk assessment of cloud infrastructures as socio-technical systems. - Michael Nidd; Marieta Georgieva Ivanova; Christian W. Probst; Axel Tanner (The Cloud Security Ecosystem, 2015)

Modelling and Analysing Socio-Technical Systems. - Zaruhi Aslanyan; Marieta Georgieva Ivanova; Flemming Nielson; Christian W. Probst (STPIS@CAiSE, 2015)

Modelling Social-Technical Attacks with Timed Automata. - Nicolas David 002; Alexandre David; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Christian W. Probst (MIST@CCS, 2015)

Transforming Graphical System Models to Graphical Attack Models. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (GraMSec@CSF, 2015)

The Attack Navigator. - Christian W. Probst; Jan Willemson; Wolter Pieters (GraMSec@CSF, 2015)

Secure Refactoring with Java Information Flow. - Steffen Helke; Florian Kammüller; Christian W. Probst (DPM/QASA@ESORICS, 2015)

A Probabilistic Analysis Framework for Malicious Insider Threats. - Taolue Chen 001; Florian Kammüller; Ibrahim Nemli; Christian W. Probst (HCI (22), 2015)

Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps. - Lars Frydendal Bonnichsen; Christian Wilhelm Probst; Sven Karlsson (TrustCom/BigDataSE/ISPA (3), 2015)

Attack Tree Generation by Policy Invalidation. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (WISTP, 2015)

Implementation of BT-trees. - Lars F. Bonnichsen; Christian W. Probst; Sven Karlsson (CoRR, 2015)

Formal Modelling and Analysis of Socio-Technical Systems. - Christian W. Probst; Florian Kammüller; René Rydhof Hansen (Semantics, Logics, and Calculi, 2016)

Towards Formal Analysis of Insider Threats for Auctions. - Florian Kammueller; Manfred Kerber; Christian W. Probst (MIST@CCS, 2016)

Model based analysis of insider threats. - Taolue Chen 001; Tingting Han 001; Florian Kammueller; Ibrahim Nemli; Christian W. Probst (Cyber Security And Protection Of Digital Services, 2016)

Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. - Florian Kammüller; Jason R. C. Nurse; Christian W. Probst (HCI (20), 2016)

Guaranteeing Privacy-Observing Data Exchange. - Christian W. Probst (ISoLA (1), 2016)

Understanding How Components of Organisations Contribute to Attacks. - Min Gu; Zaruhi Aslanyan; Christian W. Probst (NordSec, 2016)

A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service. - Muhammad Aufeef Chauhan; Muhammad Ali Babar 001; Christian W. Probst (PROFES, 2016)

Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461). - Tyler W. Moore; Christian W. Probst; Kai Rannenberg; Michel van Eeten (Dagstuhl Reports, 2016)

The Navigation Metaphor in Security Economics. - Wolter Pieters; Jeroen Barendse; Margaret Ford; Claude P. R. Heath; Christian W. Probst; Ruud Verbij (IEEE Secur. Priv., 2016)

Behavioural Profiling in Cyber-Social Systems. - Jason Perno; Christian W. Probst (HCI (22), 2017)

Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation. - Florian Kammüller; Manfred Kerber; Christian W. Probst (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Modeling and Verification of Insider Threats Using Logical Analysis. - Florian Kammüller; Christian W. Probst (IEEE Syst. J., 2017)

Enhancing Intelligent Alarm Reduction for Distributed Intrusion Detection Systems via Edge Computing. - Weizhi Meng 001; Yu Wang 017; Wenjuan Li 001; Zhe Liu 001; Jin Li 002; Christian W. Probst (ACISP, 2018)

Modelling and Analysing Overlay Networks by Ambients with Wormholes. - René Rydhof Hansen; Christian W. Probst (ICMU, 2018)

Estimating the Risk of Fraud Against E-Services. - Ahmed Seid Yesuf; Christian W. Probst (NordSec, 2018)

Towards Bayesian-Based Trust Management for Insider Attacks in Healthcare Software-Defined Networks. - Weizhi Meng 001; Kim-Kwang Raymond Choo; Steven Furnell; Athanasios V. Vasilakos; Christian W. Probst (IEEE Trans. Netw. Serv. Manag., 2018)

On the Meaning and Purpose of Attack Trees. - Heiko Mantel; Christian W. Probst (CSF, 2019)

Designing Data Protection for GDPR Compliance into IoT Healthcare Systems. - Florian Kammüller; Oladapo O. Ogunyanwo; Christian W. Probst (CoRR, 2019)

Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (CoRR, 2020)

Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. - Raúl Pardo; Willard Rafnsson; Christian W. Probst; Andrzej Wasowski (ESORICS (2), 2021)

Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. - Raúl Pardo; Willard Rafnsson; Gregor Steinhorn; Denis Lavrov; Thomas Lumley; Christian W. Probst; Ilze Ziedins 001; Andrzej Wasowski (DPM/CBT@ESORICS, 2022)