Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2020Secure Attestation of Virtualized Environments
Eckel, Michael; Fuchs, Andreas; Repp, Jürgen; Springer, Markus
Conference Paper
2017Runtime firmware product lines using TPM2.0
Fuchs, Andreas; Krauß, Christoph; Repp, Jürgen
Conference Paper
2016Advanced remote firmware upgrades using TPM 2.0
Fuchs, Andreas; Krauß, Christoph; Repp, Jürgen
Conference Paper
2015Security Analysis of TrueCrypt
Baluda, Mauro; Fuchs, Andreas; Holzinger, Philipp; Nguyen, L.; Othmane, Lotfi ben; Poller, Andreas; Repp, Jürgen; Späth, Johannes; Steffan, Jan; Triller, Stefan; Bodden, Eric
Study
2015Security and business situational awareness
Rieke, Roland; Zhdanova, Maria; Repp, Jürgen
Conference Paper
2015Security compliance tracking of processes in networked cooperating systems
Rieke, Roland; Zhdanova, Maria; Repp, Jürgen
Journal Article
2015Sicherheitsanalyse TrueCrypt
Baluda, Mauro; Fuchs, Andreas; Holzinger, Philipp; Nguyen, L.; Othmane, Lotfi Ben; Poller, Andreas; Repp, Jürgen; Späth, Johannes; Steffan, Jan; Triller, Stefan; Bodden, Eric
Study
2014Monitoring security compliance of critical processes
Rieke, R.; Repp, J.; Zhdanova, M.; Eichler, J.
Conference Paper
2014No smurfs: Revealing fraud chains in mobile money transfers
Zhdanova, M.; Repp, J.; Rieke, R.; Gaber, C.; Hemery, B.
Conference Paper
2014Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste
Rieke, R.; Zhdanova, M.; Repp, J.; Giot, R.; Gaber, C.
Conference Paper
2013Fraud Detection in Mobile Payment Utilizing Process Behavior Analysis
Rieke, Roland; Zhdanova, Maria; Repp, Jürgen; Giot, Romain; Gaber, Chrystel
Conference Paper
2011Performance evaluation in trust enhanced decentralised content distribution networks
Korn, R.; Kuntze, N.; Repp, J.
Conference Paper
2011A property based security risk analysis through weighted simulation
Winkelvos, T.; Rudolph, C.; Repp, J.
Conference Paper
2009Trust in the P2P distribution of virtual goods
Kuntze, N.; May, M.; Picconi, F.; Repp, J.; Teixeira, R.
Conference Paper
2009Verification of S&D Solutions for Network Communications and Devices
Rudolph, C.; Compagna, L.; Carbone, R.; Munoz, A.; Repp, J.
Book Article
2008Specification and Security-Analysis of an Application using the SHVT. Tutorial
Rudolph, C.; Repp, J.
Report
2008Supporting security testers in discovering injection flaws
Türpe, S.; Poller, A.; Trukenmüller, J.; Repp, J.; Bornmann, C.
Conference Paper
2007Modellbasiertes Testen der deutschen Gesundheitskarten
Apel, C.; Steingruber, J.; Repp, J.; Rieke, R.
Conference Paper
2004Implementierung von Security Policies in offenen Telekollaborationen
Herfert, M.; Schmidt, A.U.; Ochsenschläger, P.; Repp, J.; Rieke, R.; Schmucker, M.; Vettermann, S.; Böttge, U.; Escaleira, C.; Rüdiger, D.
Conference Paper
2004Simple Homomorphism Verification Tool (SHVT) - Manual
Repp, J.; Rieke, R.
Book
2002The Simple Homomorphism Verification Tool - Tutorial
Repp, J.; Ochsenschläger, P.; Rieke, R.
Book
2000Abstraction and composition - A verification method for cooperating systems
Ochsenschläger, P.; Repp, J.; Rieke, R.
Journal Article
2000The SH-verification tool
Ochsenschläger, P.; Repp, J.; Rieke, R.; Struif, B.
Conference Paper
2000Verification of cooperating systems - an approach based on formal languages
Ochsenschläger, P.; Repp, J.; Rieke, R.
Conference Paper
1999Abstraction and verification of cooperating systems
Ochsenschläger, P.; Repp, J.; Rieke, R.
Book Article
1999The SH-Verification Tool, Abstraction-Based Verification of Co-operating Systems, Formal Aspects of Computing
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Journal Article
1998The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Journal Article
1997Die Produktnetzmaschine und das SH-Verification Tool
Ochsenschläger, P.; Repp, J.; Rieke, R.
Book Article
1997The SH-verification tool, instruments for verifying co-operation systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Conference Paper
1996Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik" - SERVINT II
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Link, A.; Nitsche, U.; Noll, A.; Ochsenschläger, P.; Repp, J.; Rieke, R.
Report
1996The SH-verification tool
Nitsche, U.; Ochsenschläger, P.; Repp, J.
Report

 

<