Christian W. Probst
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
16
Active years
2002–2022
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESORICS | Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores. | Ral Pardo, Willard Rafnsson, Gregor Steinhorn, Denis Lavrov, Thomas Lumley, Christian W. Probst, Ilze Ziedins, Andrzej Wasowski |
| 2021 | ESORICS | Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis. | Ral Pardo, Willard Rafnsson, Christian W. Probst, Andrzej Wasowski |
| 2018 | ACISP | Enhancing Intelligent Alarm Reduction for Distributed Intrusion Detection Systems via Edge Computing. | Weizhi Meng, Yu Wang, Wenjuan Li, Zhe Liu, Jin Li, Christian W. Probst |
| 2017 | HCI | Behavioural Profiling in Cyber-Social Systems. | Jason Perno, Christian W. Probst |
| 2016 | CCS | Towards Formal Analysis of Insider Threats for Auctions. | Florian Kammueller, Manfred Kerber, Christian W. Probst |
| 2016 | HCI | Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. | Florian Kammller, Jason R. C. Nurse, Christian W. Probst |
| 2016 | ISoLA | Guaranteeing Privacy-Observing Data Exchange. | Christian W. Probst |
| 2016 | PROFES | A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service. | Muhammad Aufeef Chauhan, Muhammad Ali Babar, Christian W. Probst |
| 2015 | CaiSE | Modelling and Analysing Socio-Technical Systems. | Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst |
| 2015 | CCS | Modelling Social-Technical Attacks with Timed Automata. | Nicolas David, Alexandre David, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst |
| 2015 | ESORICS | Secure Refactoring with Java Information Flow. | Steffen Helke, Florian Kammller, Christian W. Probst |
| 2015 | HCI | A Probabilistic Analysis Framework for Malicious Insider Threats. | Taolue Chen, Florian Kammller, Ibrahim Nemli, Christian W. Probst |
| 2015 | WISTP | Attack Tree Generation by Policy Invalidation. | Marieta Georgieva Ivanova, Christian W. Probst, Ren Rydhof Hansen, Florian Kammller |
| 2014 | ACSSC | 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 |
| 2014 | ISoLA | The Guided System Development Framework: Modeling and Verifying Communication Systems. | Jose Quaresma, Christian W. Probst, Flemming Nielson |
| 2014 | SP | Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. | Florian Kammller, Christian W. Probst |
| 2013 | SP | Invalidating Policies using Structural Information. | Florian Kammller, Christian W. Probst |
| 2012 | NSPW | A move in the security measurement stalemate: elo-style ratings to quantify vulnerability. | Wolter Pieters, Sanne H. G. van der Ven, Christian W. Probst |
| 2011 | DATE | Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach. | Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst |
| 2010 | CCS | Security audits of multi-tier virtual infrastructures in public infrastructure clouds. | Sren Bleikertz, Matthias Schunter, Christian W. Probst, Dimitrios Pendarakis, Konrad Eriksson |
| 2009 | NSPW | Fluid information systems. | Christian W. Probst, Ren Rydhof Hansen |
| 2008 | Coordination | 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 |
| 2006 | ASPLOS | Issues in holistic system design. | Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz |
| 2006 | ASPLOS | Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). | Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk |
| 2006 | VEE | HotpathVM: an effective JIT compiler for resource-constrained devices. | Andreas Gal, Christian W. Probst, Michael Franz |
| 2005 | NSPW | Average case vs. worst case: margins of safety in system design. | Christian W. Probst, Andreas Gal, Michael Franz |
| 2002 | SAS | Modular Control Flow Analysis for Libraries. | Christian W. Probst |