Jürgen Repp

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 5

Top Topics

Operating System

Trusted Computing

Situational Awareness

Top Venues

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

Publications

Michael Eckel, Andreas Fuchs, Jürgen Repp, Markus Springer
Secure Attestation of Virtualized Environments. SEC (2020)
Andreas Fuchs, Christoph Krauß, Jürgen Repp
Runtime Firmware Product Lines Using TPM2.0. SEC (2017)
Andreas Fuchs, Christoph Krauß, Jürgen Repp
Advanced Remote Firmware Upgrades Using TPM 2.0. SEC (2016)
Roland Rieke, Maria Zhdanova, Jürgen Repp
Security Compliance Tracking of Processes in Networked Cooperating Systems. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 6 (2) (2015)
Roland Rieke, Maria Zhdanova, Jürgen Repp
Security and Business Situational Awareness. CSP Forum (2015)
Maria Zhdanova, Jürgen Repp, Roland Rieke, Chrystel Gaber, Baptiste Hemery
No Smurfs: Revealing Fraud Chains in Mobile Money Transfers. ARES (2014)
Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, Chrystel Gaber
Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste. Sicherheit (2014)
Roland Rieke, Jürgen Repp, Maria Zhdanova, Jörn Eichler
Monitoring Security Compliance of Critical Processes. PDP (2014)
Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, Chrystel Gaber
Fraud Detection in Mobile Payments Utilizing Process Behavior Analysis. ARES (2013)
Timo Winkelvos, Carsten Rudolph, Jürgen Repp
A Property Based Security Risk Analysis Through Weighted Simulation. ISSA (2011)
Nicolai Kuntze, Jürgen Repp, Hervais Simo Fhom, Andreas Fuchs, Ine-Saf Benaissa
Final Architecture Specification of security, privacy, and incentive mechanisms CoRR (2009)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
Abstraction and composition: a verification method for co-operating systems. J. Exp. Theor. Artif. Intell. 12 (4) (2000)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
Verification of Cooperating Systems - An Approach Based on Formal Languages. FLAIRS Conference (2000)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
The SH-Verification Tool. FLAIRS Conference (2000)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Aspects Comput. 10 (4) (1998)
Knut A. Bahr, Michael Giessler, Jürgen Repp
Steps toward a corporate network based on packet switching and ISDN. ICCC (1988)