Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Christian W. Probst

Christian Wilhelm Probst

> Home > Persons

Person information

affiliation: Unitec Institute of Technology, High Tech Transdisciplinary Research Network, Auckland, New Zealand
affiliation (former): Technical University of Denmark, Department of Applied Mathematics and Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2002
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0007669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0007669
Christian W. Probst:
A demand-driven solver for constraint-based control flow analysis. Saarland University, Saarbrücken, Germany, COD Verlag 2002, ISBN 978-3-9807096-0-6, pp. I-XVI, 1-133

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tnsm/MengCFVP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnsm/MengCFVP18
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): 761-773 (2018)
2017
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/KammullerKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/KammullerKP17
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): 44-78 (2017)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/KammullerP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/KammullerP17
Florian Kammüller, Christian W. Probst:
Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Syst. J. 11(2): 534-545 (2017)
2016
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/PietersBFHPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/PietersBFHPV16
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): 14-21 (2016)
2014
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/KammullerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/KammullerP14
Florian Kammüller, Christian W. Probst:
Invalidating Policies using Structural Information. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5(2): 59-79 (2014)
2013
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jisis/IvanovaPHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jisis/IvanovaPHK13
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): 52-62 (2013)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/ProbstH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/ProbstH13
Christian W. Probst, René Rydhof Hansen:
Reachability-based Impact as a Measure for Insiderness. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4(4): 38-48 (2013)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AleksyGKMPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AleksyGKMPS13
Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson:
Foreword. Sci. Comput. Program. 78(5): 423-424 (2013)
2011
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/it/Probst11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/Probst11
Christian W. Probst:
Identifying and Mitigating Insider Threats. it Inf. Technol. 53(4): 202-206 (2011)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/ProbstYSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/ProbstYSS11
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): 1-3 (2011)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jowua/HunkerP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jowua/HunkerP11
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): 4-27 (2011)
2010
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaGHNNPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NicolaGHNNPP10
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): 376-397 (2010)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/ProbstH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/ProbstH08
Christian W. Probst, René Rydhof Hansen:
An extensible analysable system model. Inf. Secur. Tech. Rep. 13(4): 235-246 (2008)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GalPF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GalPF08
Andreas Gal, Christian W. Probst, Michael Franz:
Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30(4): 21:1-21:21 (2008)
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijes/ProbstKBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijes/ProbstKBS07
Christian W. Probst, Ulrich Kremer, Luca Benini, Peter Schelkens:
Power-aware computing systems. Int. J. Embed. Syst. 3(1/2): 3-7 (2007)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijes/VenkatachalamFP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijes/VenkatachalamFP07
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): 17-30 (2007)
2005
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FranzCGHPRW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FranzCGHPRW05
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): 275-294 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/PardoRSLLPZW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/PardoRSLLPZW22
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: 103-119
2021
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/PardoRPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/PardoRPW21
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski:
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. ESORICS (2) 2021: 417-438
2019
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MantelP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MantelP19
Heiko Mantel, Christian W. Probst:
On the Meaning and Purpose of Attack Trees. CSF 2019: 184-199
2018
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/acisp/MengWLLLP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acisp/MengWLLLP18
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: 759-767
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icmu/HansenP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmu/HansenP18
René Rydhof Hansen, Christian W. Probst:
Modelling and Analysing Overlay Networks by Ambients with Wormholes. ICMU 2018: 1-4
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/YesufP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/YesufP18
Ahmed Seid Yesuf, Christian W. Probst:
Estimating the Risk of Fraud Against E-Services. NordSec 2018: 306-322
2017
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/PernoP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/PernoP17
Jason Perno, Christian W. Probst:
Behavioural Profiling in Cyber-Social Systems. HCI (22) 2017: 507-517
2016
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ProbstKH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ProbstKH16
Christian W. Probst, Florian Kammüller, René Rydhof Hansen:
Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi 2016: 54-73
[c41]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ccs/KammuellerKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KammuellerKP16
Florian Kammueller, Manfred Kerber, Christian W. Probst:
Towards Formal Analysis of Insider Threats for Auctions. MIST@CCS 2016: 23-34
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cybersecpods/Chen0KNP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cybersecpods/Chen0KNP16
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: 1-3
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/KammullerNP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/KammullerNP16
Florian Kammüller, Jason R. C. Nurse, Christian W. Probst:
Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. HCI (20) 2016: 234-246
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Probst16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Probst16
Christian W. Probst:
Guaranteeing Privacy-Observing Data Exchange. ISoLA (1) 2016: 958-969
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/GuAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/GuAP16
Min Gu, Zaruhi Aslanyan, Christian W. Probst:
Understanding How Components of Organisations Contribute to Attacks. NordSec 2016: 54-66
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/ChauhanBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/ChauhanBP16
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: 111-126
2015
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/AslanyanINP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AslanyanINP15
Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst:
Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE 2015: 121-124
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DavidDHLLOP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DavidDHLLOP15
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: 21-28
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ProbstWP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ProbstWP15
Christian W. Probst, Jan Willemson, Wolter Pieters:
The Attack Navigator. GraMSec@CSF 2015: 1-17
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/IvanovaPHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/IvanovaPHK15
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller:
Transforming Graphical System Models to Graphical Attack Models. GraMSec@CSF 2015: 82-96
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/HelkeKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/HelkeKP15
Steffen Helke, Florian Kammüller, Christian W. Probst:
Secure Refactoring with Java Information Flow. DPM/QASA@ESORICS 2015: 264-272
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/ChenKNP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/ChenKNP15
Taolue Chen, Florian Kammüller, Ibrahim Nemli, Christian W. Probst:
A Probabilistic Analysis Framework for Malicious Insider Threats. HCI (22) 2015: 178-189
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/BonnichsenPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/BonnichsenPK15
Lars Frydendal Bonnichsen, Christian Wilhelm Probst, Sven Karlsson:
Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps. TrustCom/BigDataSE/ISPA (3) 2015: 124-131
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wistp/IvanovaPHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wistp/IvanovaPHK15
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller:
Attack Tree Generation by Policy Invalidation. WISTP 2015: 249-259
2014
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/acssc/HindborgSJWBBPK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acssc/HindborgSJWBBPK14
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: 1440-1444
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/QuaresmaPN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/QuaresmaPN14
Jose Quaresma, Christian W. Probst, Flemming Nielson:
The Guided System Development Framework: Modeling and Verifying Communication Systems. ISoLA (2) 2014: 509-523
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/KammullerP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/KammullerP14
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: 229-235
[c24]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tapp/ProbstH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapp/ProbstH14
Christian W. Probst, René Rydhof Hansen:
Model-based Abstraction of Data Provenance. TAPP 2014
2013
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/KammullerP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/KammullerP13
Florian Kammüller, Christian W. Probst:
Invalidating Policies using Structural Information. IEEE Symposium on Security and Privacy Workshops 2013: 76-81
2012
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/PietersVP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/PietersVP12
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: 1-14
2011
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/confws/QuevaMRP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/confws/QuevaMRP11
Matthieu Quéva, Tomi Männistö, Laurent Ricci, Christian W. Probst:
Modelling Configuration Knowledge in Heterogeneous Product Families. Configuration Workshop 2011
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/date/SchoeberlSPBP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SchoeberlSPBP11
Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst:
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. PPES 2011: 11-21
2010
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BleikertzSPPE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BleikertzSPPE10
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: 93-102
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/QuaresmaP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/QuaresmaP10
Jose Quaresma, Christian W. Probst:
Protocol Implementation Generator. NordSec 2010: 256-268
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/stairs/QuevaPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/QuevaPR10
Matthieu Quéva, Christian W. Probst, Laurent Ricci:
Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction. STAIRS 2010: 251-263
2009
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/ProbstH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/ProbstH09
Christian W. Probst, René Rydhof Hansen:
Fluid information systems. NSPW 2009: 125-132
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sadfe/ProbstH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sadfe/ProbstH09
Christian W. Probst, René Rydhof Hansen:
Analysing Access Control Specifications. SADFE 2009: 22-33
[c14]
- view
  - electronic edition @ infosecon.net
  - no references & citations available
- export record
  dblp key:
  - conf/weis/ProbstH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/weis/ProbstH09
Christian W. Probst, Jeffrey Hunker:
The Risk of Risk Analysis-And its relation to the Economics of Insider Threats. WEIS 2009
2008
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/HansenNNP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/HansenNNP08
René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst:
Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NicolaGHNNPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NicolaGHNNPP08
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: 100-116
2007
[c11]
- view
- export record
  dblp key:
  - conf/se/FranzGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FranzGP07
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: 83-94
2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/HansenPN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/HansenPN06
René Rydhof Hansen, Christian W. Probst, Flemming Nielson:
Sandboxing in myKlaim. ARES 2006: 174-181
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ProbstGGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ProbstGGS06
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: 1
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/LawallPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/LawallPS06
Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz:
Issues in holistic system design. PLOS 2006: 12
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/ProbstHN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/ProbstHN06
Christian W. Probst, René Rydhof Hansen, Flemming Nielson:
Where Can an Insider Attack? Formal Aspects in Security and Trust 2006: 127-142
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/SondergaardPJH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/SondergaardPJH06
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: 170-184
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/GalPF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/GalPF06
Andreas Gal, Christian W. Probst, Michael Franz:
HotpathVM: an effective JIT compiler for resource-constrained devices. VEE 2006: 144-153
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/ProbstGF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/ProbstGF05
Christian W. Probst, Andreas Gal, Michael Franz:
Average case vs. worst case: margins of safety in system design. NSPW 2005: 25-32
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GalPF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GalPF05
Andreas Gal, Christian W. Probst, Michael Franz:
Integrated Java Bytecode Verification. AIOOL@VMCAI 2005: 27-38
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GalPF05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GalPF05a
Andreas Gal, Christian W. Probst, Michael Franz:
Structural Encoding of Static Single Assignment Form. COCV@ETAPS 2005: 85-102
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Probst02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Probst02
Christian W. Probst:
Modular Control Flow Analysis for Libraries. SAS 2002: 165-179

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2015
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/el/15/NiddIPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/15/NiddIPT15
Michael Nidd, Marieta Georgieva Ivanova, Christian W. Probst, Axel Tanner:
Tool-based risk assessment of cloud infrastructures as socio-technical systems. The Cloud Security Ecosystem 2015: 495-517
2012
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/edp12/ProbstSPDLA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/edp12/ProbstSPDLA12
Christian W. Probst, Martina Angela Sasse, Wolter Pieters, Trajce Dimkov, Erik Luysterborg, Michel Arnaud:
Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. European Data Protection 2012: 251-265
2010
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/ais/ProbstHGB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ais/ProbstHGB10
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop:
Aspects of Insider Threats. Insider Threats in Cyber Security 2010: 1-15

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/gramsec/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gramsec/2019
Massimiliano Albanese, Ross Horne, Christian W. Probst:
Graphical Models for Security - 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers. Lecture Notes in Computer Science 11720, Springer 2019, ISBN 978-3-030-36536-3 [contents]
2016
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2016nielson
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2016nielson
Christian W. Probst, Chris Hankin, René Rydhof Hansen:
Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science 9560, Springer 2016, ISBN 978-3-319-27809-4 [contents]
2011
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/2011
Christian W. Probst, Christian Wimmer:
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011. ACM 2011, ISBN 978-1-4503-0935-6 [contents]
2010
[e8]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10341
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10341
Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst:
Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010. Dagstuhl Seminar Proceedings 10341, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - series/ais/49
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ais/49
Christian W. Probst, Jeffrey Hunker, Dieter Gollmann, Matt Bishop:
Insider Threats in Cyber Security. Advances in Information Security 49, Springer 2010, ISBN 978-1-4419-7132-6 [contents]
2009
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/2009
Ben Stephenson, Christian W. Probst:
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009. ACM 2009, ISBN 978-1-60558-598-7 [contents]
2008
[e5]
- view
- export record
  dblp key:
  - conf/dagstuhl/2008P8302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2008P8302
Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst:
Countering Insider Threats, 20.07. - 25.07.2008. Dagstuhl Seminar Proceedings 08302, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/2008
Matt Bishop, Christian W. Probst, Angelos D. Keromytis, Anil Somayaji:
Proceedings of the 2008 Workshop on New Security Paradigms, Lake Tahoe, CA, USA, September 22-25, 2008. ACM 2008, ISBN 978-1-60558-341-9 [contents]
2007
[e3]
- view
- export record
  dblp key:
  - conf/dagstuhl/2007P7041
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2007P7041
Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst:
Power-aware Computing Systems, 21.01. - 26.01.2007. Dagstuhl Seminar Proceedings 07041, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents]
2006
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/2006plos
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/2006plos
Christian W. Probst:
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. ACM 2006, ISBN 1-59593-577-0 [contents]
2005
[e1]
- view
- export record
  dblp key:
  - conf/dagstuhl/2005P5141
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2005P5141
Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens:
Power-aware Computing Systems, 3.-8. April 2005. Dagstuhl Seminar Proceedings 05141, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12497
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12497
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 abs/2208.12497 (2022)
2020
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-08742
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-08742
Raúl Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski:
Privug: Quantifying Leakage using Probabilistic Programming for Privacy Risk Analysis. CoRR abs/2011.08742 (2020)
2019
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-02426
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-02426
Florian Kammüller, Oladapo O. Ogunyanwo, Christian W. Probst:
Designing Data Protection for GDPR Compliance into IoT Healthcare Systems. CoRR abs/1901.02426 (2019)
2016
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/MoorePRE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/MoorePRE16
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): 63-89 (2016)
2015
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BonnichsenPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BonnichsenPK15
Lars F. Bonnichsen, Christian W. Probst, Sven Karlsson:
Implementation of BT-trees. CoRR abs/1505.01210 (2015)
2013
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BonnichsenKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BonnichsenKP13
Lars F. Bonnichsen, Sven Karlsson, Christian W. Probst:
ELB-Trees, An Efficient and Lock-free B-tree Derivative. CoRR abs/1308.6145 (2013)
2012
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/Coles-KempGGPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/Coles-KempGGPP12
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): 37-48 (2012)
2011
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/VimercatiPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/VimercatiPP11
Sabrina De Capitani di Vimercati, Wolter Pieters, Christian W. Probst:
Secure Architectures in the Cloud (Dagstuhl Seminar 11492). Dagstuhl Reports 1(12): 11-26 (2011)
2010
[i10]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BishopCGHP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BishopCGHP10
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
[i9]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BishopCGHP10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BishopCGHP10a
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
2008
[i8]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BishopGHP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BishopGHP08
Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst:
08302 Abstracts Collection - Countering Insider Threats. Countering Insider Threats 2008
[i7]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/ProbstHBG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/ProbstHBG08
Christian W. Probst, Jeffrey Hunker, Matt Bishop, Dieter Gollmann:
08302 Summary - Countering Insider Threats. Countering Insider Threats 2008
2007
[i6]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BeniniCKP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeniniCKP07
Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst:
07041 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2007
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BeniniCKP07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeniniCKP07a
Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst:
07041 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2007
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BleakleyCDGJKPSSVW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BleakleyCDGJKPSSVW07
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
2005
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BeniniKPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeniniKPS05
Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens:
05141 Summary - Power-aware Computing Systems. Power-aware Computing Systems 2005
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/BeniniKPS05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeniniKPS05a
Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens:
05141 Abstracts Collection - Power-aware Computing Systems. Power-aware Computing Systems 2005
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/VenkatachalamPF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/VenkatachalamPF05
Vasanth Venkatachalam, Christian W. Probst, Michael Franz:
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems 2005

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.