Christian W. Probst

发表

A portable virtual machine target for proof-carrying code

Ning Wang, Michael Franz, Deepak Chandra, 2005, Sci. Comput. Program..

Florian Kammüller, Taolue Chen, Tingting Han, 2016, 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security).

Insiders and Insider Threats - An Overview of Definitions and Mitigation Techniques

Christian W. Probst, Jeffrey Hunker, C. Probst, 2011, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Adapt or become extinct!: the case for a unified framework for deployment-time optimization (position paper)

Sally A. McKee, Thomas R. Gross, Magnus Själander, 2011, EXADAPT '11.

Exploring adaptive program behavior

Christian W. Probst, Lars Frydendal Bonnichsen, 2014, CGO 2014.

Modelling Configuration Knowledge in Heterogeneous Product Families

Tomi Männistö, Christian W. Probst, Matthieu Quéva, 2011, Configuration Workshop.

Insider Threats in Cyber Security

Dieter Gollmann, Matt Bishop, Christian W. Probst, 2010, Insider Threats in Cyber Security.

Foreword

Hanspeter Mössenböck, Markus Aleksy, Andreas Krall, 1996, Signs: Journal of Women in Culture and Society.

Application of verification techniques to security: model checking insider attacks

Florian Kammüller, Christian W. Probst, Franco Raimondi, 2014 .

Average case vs. worst case: margins of safety in system design

Michael Franz, Andreas Gal, Christian W. Probst, 2005, NSPW '05.

Foreword: Science of Computer Programming, special section from the Principles and Practice of Programming in Java conference

Hanspeter Mössenböck, Markus Aleksy, Andreas Krall, 2013 .

Power-aware Computing Systems, 3.-8. April 2005

Luca Benini, Peter Schelkens, Ulrich Kremer, 2005, Power-aware Computing Systems.

An extensible analysable system model

Christian W. Probst, René Rydhof Hansen, C. Probst, 2008, Inf. Secur. Tech. Rep..

08302 Abstracts Collection - Countering Insider Threats

Dieter Gollmann, Matt Bishop, Christian W. Probst, 2008, Countering Insider Threats.

Aspects of Insider Threats

Dieter Gollmann, Matt Bishop, Christian W. Probst, 2010, Insider Threats in Cyber Security.

Modelling and Analysing Socio-Technical Systems

Flemming Nielson, Christian W. Probst, Zaruhi Aslanyan, 2015, STPIS@CAiSE.

Structural Encoding of Static Single Assignment Form

Christian W. Probst, Michael Franz, Andreas Gal, 2005, COCV@ETAPS.

Externalizing Behaviour for Analysing System Models

Florian Kammüller, Christian W. Probst, René Rydhof Hansen, 2013, J. Internet Serv. Inf. Secur..

07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation

Christian Steger, Chris J. Bleakley, Ulrich Kremer, 2007, Power-aware Computing Systems.

Transforming Graphical System Models to Graphical Attack Models

Florian Kammüller, Christian W. Probst, René Rydhof Hansen, 2015, GraMSec@CSF.

Understanding How Components of Organisations Contribute to Attacks

Christian W. Probst, Min Gu, Zaruhi Aslanyan, 2016, NordSec.

Modeling and Analysing Socio-Technical Systems

Flemming Nielson, Christian W. Probst, Zaruhi Aslanyan, 2015 .

The Navigation Metaphor in Security Economics

Wolter Pieters, Christian W. Probst, Margaret Ford, 2016, IEEE Security & Privacy.

A Probabilistic Analysis Framework for Malicious Insider Threats

Florian Kammüller, Taolue Chen, Christian W. Probst, 2015, HCI.

Code Commentary and Automatic Refactorings using Feedback from Multiple Compilers

Christian W. Probst, Sven Karlsson, Nicklas Bo Jensen, 2014 .

Untyped Memory in the Java Virtual Machine

Michael Franz, Andreas Gal, Christian W. Probst, 2005 .

Sandboxing in myKlaim

Flemming Nielson, Christian W. Probst, René Rydhof Hansen, 2006, First International Conference on Availability, Reliability and Security (ARES'06).

The Attack Navigator (Invited)

Jan Willemson, Wolter Pieters, Christian W. Probst, 2016 .

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration

Michael Franz, Andreas Gal, Christian W. Probst, 2007, Software Engineering.

Fluid information systems

Christian W. Probst, René Rydhof Hansen, 2009, NSPW '09.

Tool-based risk assessment of cloud infrastructures as socio-technical systems

Christian W. Probst, Michael Nidd, Axel Tanner, 2015, The Cloud Security Ecosystem.

Modular Control Flow Analysis for Libraries

Christian W. Probst, C. Probst, 2002, SAS.

Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461)

Kai Rannenberg, Christian W. Probst, Michel van Eeten, 2016, Dagstuhl Reports.

Towards Bayesian-Based Trust Management for Insider Attacks in Healthcare Software-Defined Networks

Athanasios V. Vasilakos, Kim-Kwang Raymond Choo, Steven Furnell, 2018, IEEE Transactions on Network and Service Management.

Secure Dynamic Program Repartitioning

Christian W. Probst, Rene Rydhoff Hansen, 2005 .

Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps

Christian W. Probst, Sven Karlsson, Lars Frydendal Bonnichsen, 2015, TrustCom 2015.

Industrial requirements for interactive product configurators

Christian W. Probst, Matthieu Stéphane Benoit Queva, Per Vikkelsoe, 2009, IJCAI 2009.

The Attack Navigator

Jan Willemson, Wolter Pieters, Christian W. Probst, 2015, GraMSec@CSF.

10341 Report - Insider Threats: Strategies for Prevention, Mitigation, and Response

Dieter Gollmann, Matt Bishop, Christian W. Probst, 2010, Insider Threats: Strategies for Prevention, Mitigation, and Response.

Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08)

Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2008 .

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009

Ben Stephenson, Christian W. Probst, 2009, PPPJ.

Program Partitioning Using Dynamic Trust Models

Christian Damsgaard Jensen, Christian W. Probst, René Rydhof Hansen, 2006, Formal Aspects in Security and Trust.

Where Can an Insider Attack?

Flemming Nielson, Christian W. Probst, René Rydhof Hansen, 2006, Formal Aspects in Security and Trust.

Automatic generation of application specific FPGA multicore accelerators

Sven Karlsson, Christian W. Probst, Nicklas Bo Jensen, 2014, 2014 48th Asilomar Conference on Signals, Systems and Computers.

Hardware Support for Dynamic Languages

Christian W. Probst, Sven Karlsson, Pascal Schleuniger, 2011 .

Formal Modelling and Analysis of Socio-Technical Systems

Florian Kammüller, Christian W. Probst, René Rydhof Hansen, 2016, Semantics, Logics, and Calculi.

Guaranteeing Privacy-Observing Data Exchange

Christian W. Probst, 2016, ISoLA.

Implementation of BT-trees pdf

Christian W. Probst, Sven Karlsson, Lars F. Bonnichsen, 2015, ArXiv.

Identifying and Mitigating Insider Threats

Christian W. Probst, 2011, it Inf. Technol..

Virtual-Machine Driven Dynamic Voltage Scaling

Michael Franz, Vivek Haldar, Christian W. Probst, 2003 .

Proceedings of The 13. Nordic Workshop on Secure IT Systems, NordSec 2008, Kongens Lyngby Oct 9-10, 2008

Hanne Riis Nielson, Christian W. Probst, 2008 .

ELB-trees - Efficient Lock-free B+trees

Christian W. Probst, Sven Karlsson, Lars Frydendal Bonnichsen, 2014, HiPEAC 2014.

A Denial of Service Attack on the Java Bytecode Verifier

Michael Franz, Andreas Gal, Christian W. Probst, 2003 .

Developing merged CDIO based curricula for diploma (B.Eng.) IT study programs at DTU

Christian W. Probst, Mads Nyborg, Flemming Stassen, 2015 .

Towards Formal Analysis of Insider Threats for Auctions

Florian Kammüller, Manfred Kerber, Christian W. Probst, 2016, MIST@CCS.

Modelling and Analysing Overlay Networks by Ambients with Wormholes

Christian W. Probst, René Rydhof Hansen, 2018, 2018 Eleventh International Conference on Mobile Computing and Ubiquitous Network (ICMU).

Behavioural Profiling in Cyber-Social Systems

Christian W. Probst, Jason Perno, 2017, HCI.

Issues in holistic system design

Ulrik Pagh Schultz, Julia L. Lawall, Christian W. Probst, 2006, PLOS '06.

Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction

Christian W. Probst, Matthieu Quéva, Laurent Ricci, 2010, STAIRS.

Java bytecode verification via static single assignment form

Michael Franz, Andreas Gal, Christian W. Probst, 2008, TOPL.

ELB-trees an efficient and lock-free B-tree derivative

Christian W. Probst, Sven Karlsson, Lars F. Bonnichsen, 2013, 2013 IEEE 6th International Workshop on Multi-/Many-core Computing Systems (MuCoCoS).

The Guided System Development Framework: Modeling and Verifying Communication Systems

Flemming Nielson, Christian W. Probst, Jose Quaresma, 2014, ISoLA.

Power-aware Computing Systems, 21.01. - 26.01.2007

Luca Benini, Naehyuck Chang, Ulrich Kremer, 2007, Power-aware Computing Systems.

Architecturally Significant Requirements Identification, Classification and Change Management for Multi-tenant Cloud-Based Systems

Christian W. Probst, Muhammad Aufeef Chauhan, 2017 .

A new way of estimating compute-boundedness and its application to dynamic voltage scaling

Michael Franz, Christian W. Probst, Vasanth Venkatachalam, 2007, Int. J. Embed. Syst..

Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006)

Robert Grimm, Olaf Spinczyk, Andreas Gal, 2006, PLOS '06.

Enhancing Intelligent Alarm Reduction for Distributed Intrusion Detection Systems via Edge Computing

Zhe Liu, Jin Li, Yu Wang, 2018, ACISP.

05141 Abstracts Collection - Power-aware Computing Systems

Luca Benini, Peter Schelkens, Ulrich Kremer, 2005, Power-aware Computing Systems.

A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service

Muhammad Ali Babar, Christian W. Probst, Muhammad Aufeef Chauhan, 2016, PROFES.

Agile Approaches for Teaching and Learning Software Architecture Design Processes and Methods

Muhammad Ali Babar, Christian W. Probst, Muhammad Aufeef Chauhan, 2019 .

Proceedings of the Third Workshop on Programming Languages and Operating Systems (PLOS 2006) : linguistic support for modern operating systems : ASPLOS XII Workshop : October 22, 2006, Hilton Hotel, San Jose, California, USA : co-located with ASPLOS XII

Christian W. Probst, 2006 .

Secure Architectures in the Cloud (Dagstuhl Seminar 11492)

Sabrina De Capitani di Vimercati, Wolter Pieters, Christian W. Probst, 2011, Dagstuhl Reports.

Collaborative Compiler Vectorization

Christian W. Probst, Sven Karlsson, Nicklas Bo Jensen, 2014, HiPEAC 2014.

HotpathVM: an effective JIT compiler for resource-constrained devices

Michael Franz, Andreas Gal, Christian W. Probst, 2006, VEE '06.

07041 Summary - Power-aware Computing Systems

Luca Benini, Ulrich Kremer, Christian W. Probst, 2005, Power-aware Computing Systems.

Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider

Wolter Pieters, M. Angela Sasse, Christian W. Probst, 2012, European Data Protection.

Estimating the Risk of Fraud Against E-Services

Christian W. Probst, Ahmed Seid Yesuf, A. S. Yesuf, 2018, NordSec.

Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis

Florian Kammüller, Christian W. Probst, F. Kammüller, 2014, 2014 IEEE Security and Privacy Workshops.

Attack Tree Analysis for Insider Threats on the IoT Using Isabelle

Florian Kammüller, Jason R. C. Nurse, Christian W. Probst, 2016, HCI.

Modelling Social-Technical Attacks with Timed Automata

Kim G. Larsen, Axel Legay, Nicolas David, 2015, MIST@CCS.

Invalidating Policies using Structural Information

Florian Kammüller, Christian W. Probst, F. Kammüller, 2013, 2013 IEEE Security and Privacy Workshops.

Security audits of multi-tier virtual infrastructures in public infrastructure clouds

Dimitrios Pendarakis, Christian W. Probst, Matthias Schunter, 2010, CCSW '10.

Secure Refactoring with Java Information Flow

Florian Kammüller, Christian W. Probst, Steffen Helke, 2015, DPM/QASA@ESORICS.

Attack Tree Generation by Policy Invalidation

Florian Kammüller, Christian W. Probst, René Rydhof Hansen, 2015, WISTP.

08302 Summary - Countering Insider Threats

Dieter Gollmann, Matt Bishop, Christian W. Probst, 2008, Countering Insider Threats.

A move in the security measurement stalemate: elo-style ratings to quantify vulnerability

Wolter Pieters, Christian W. Probst, Sanne H. G. van der Ven, 2012, NSPW '12.

Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation

Florian Kammüller, Manfred Kerber, Christian W. Probst, 2017, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Addressing Insider Threats and Information Leakage

Ilsun You, Kouichi Sakurai, Dongwan Shin, 2011, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Integrated Java Bytecode Verification

Michael Franz, Andreas Gal, Christian W. Probst, 2005, AIOOL@VMCAI.

Cost-effectiveness of Security Measures: A model-based Framework

Wolter Pieters, Zofia Lukszo, Christian W. Probst, 2014 .

Proceedings of the New Security Paradigms Workshop (NSPW'09)

Christian W. Probst, René Rydhof Hansen, 2009 .

From Flow Logic to static type systems for coordination languages

Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2010, Sci. Comput. Program..

CDIO Projects in DTU’s B.Eng. in IT Study Program

Jens Sparsø, Thomas Bolander, Christian W. Probst, 2011 .

10341 Abstracts Collection - Insider Threats: Strategies for Prevention, Mitigation, and Response

Dieter Gollmann, Christian W. Probst, Jeffrey Hunker, 2010, Insider Threats: Strategies for Prevention, Mitigation, and Response.

Static Validation of Licence Conformance Policies

Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Designing Data Protection for GDPR Compliance into IoT Healthcare Systems pdf

Florian Kammüller, Christian W. Probst, Oladapo O. Ogunyanwo, 2019, ArXiv.

On Building Secure Communication Systems

Flemming Nielson, Christian W. Probst, Jose Nuno Carvalho Quaresma, 2013 .

Model-based Abstraction of Data Provenance

Christian W. Probst, René Rydhof Hansen, 2014, TAPP.

Power-aware computing systems

Luca Benini, Peter Schelkens, Ulrich Kremer, 2007, Int. J. Embed. Syst..

The Risk of Risk Analysis-And its relation to the Economics of Insider Threats

Christian W. Probst, Jeffrey Hunker, 2009, WEIS.

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays on Semantics, Logics, and Calculi - Volume 9560

Chris Hankin, Christian W. Probst, René Rydhof Hansen, 2015 .

Protocol Implementation Generator

Christian W. Probst, Jose Quaresma, C. Probst, 2010, NordSec.

Guest editorial: Addressing insider threats and information leakage

Ilsun You, Kouichi Sakurai, Dongwan Shin, 2011 .

Redesigning the language for business logic in the Maconomy ERP system and automatic translation of existing code

Ekkart Kindler, Christian W. Probst, Piotr Borowian, 2012 .

Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France

Lothar Thiele, Martin Schoeberl, Reinhard Wilhelm, 2011, PPES.

Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501)

Dieter Gollmann, Carrie Gates, Sean Peisert, 2012, Dagstuhl Reports.

Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems

Christian W. Probst, 2006, ASPLOS 2006.

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach

Martin Schoeberl, Christian W. Probst, Florian Brandner, 2011, PPES.

TEACHING COMPUTER AND COMPILER DESIGN IN LOCKSTEP

Christian W. Probst, Edward Alexandru Todirica, C. Probst, 2014 .

Semantics, Logics, and Calculi

Christian W. Probst, 2016, Lecture Notes in Computer Science.

Graphical Models for Security: 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

Ross Horne, Massimiliano Albanese, Christian W. Probst, 2019, GraMSec@CSF.

Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps

Christian W. Probst, Sven Karlsson, Lars F. Bonnichsen, 2015, 2015 IEEE Trustcom/BigDataSE/ISPA.

Modeling and Verification of Insider Threats Using Logical Analysis

Florian Kammüller, Christian W. Probst, F. Kammüller, 2017, IEEE Systems Journal.

A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing

Michael Franz, Christian W. Probst, Vasanth Venkatachalam, 2005, Power-aware Computing Systems.

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java

Christian W. Probst, Ben Stephenson, 2009, PPPJ 2009.

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

Christian W. Probst, 2006, PLOS.

Graphical Models for Security - 6th International Workshop, Revised Papers

Ross Horne, Massimiliano Albanese, Christian W. Probst, 2019 .

A demand-driven solver for constraint-based control flow analysis

Christian W. Probst, 2002 .

Analysing Access Control Specifications

Christian W. Probst, René Rydhof Hansen, C. Probst, 2009, 2009 Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering.

An Adaptive Middleware for Improved Computational Performance

Christian W. Probst, Sven Karlsson, Lars Frydendal Bonnichsen, 2016 .

Reachability-based Impact as a Measure for Insiderness

Christian W. Probst, René Rydhof Hansen, C. Probst, 2013, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Inside r Threats: Strategies for Prevention, Mitigation, and Response

Dieter Gollmann, Matt Bishop, Christian W. Probst, 2010 .

From Flow Logic to Static Type Systems for Coordination Languages

Flemming Nielson, Rocco De Nicola, Hanne Riis Nielson, 2010, COORDINATION.

Insider Threats in Cyber Security

Christian W. Probst, M. Bishop, D. Gollmann, 2010, Insider Threats in Cyber Security.

Countering Insider Threats

Christian W. Probst, M. Bishop, D. Gollmann, 2008 .