Institute of Applied Information Processing and Communications (7050)

  • 8010

    Inffeldgasse 16a Graz

    Austria

Research Output 1983 2019

Filter
Paper
2019

Attacking AUTOSAR using Software and Hardware Attacks

Nasahl, P. & Timmers, N., 12 Jul 2019.

Research output: Contribution to conferencePaperResearchpeer-review

File
2018

Robust Deformation Estimation in Wood-Composite Materials using Variational Optical Flow

Hofinger, M., Pock, T. & Moosbrugger, T., 5 Feb 2018, p. 97 - 104. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
Optical flows
Optical Flow
Humidity
Composite Materials
Atmospheric humidity
2016

Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16

Aleksandrowicz, G., Arbel, E., Bloem, R., Braak, T. T., Devadze, S., Fey, G., Jenihhin, M., Jutman, A., Kerkoff, H. G., Könighofer, R., Malburg, J., Moran, S., Raik, J., Rauwerda, G., Riener, H., Röck, F., Shibin, K., Sunesen, K., Wan, J. & Zhao, Y., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Monitoring
Cyber Physical System

LIGHTest -- A Lightweight Infrastructure for Global Heterogeneous Trust Management

Brügger, B. & Lipp, P., 13 Oct 2016, p. 15. 26 p.

Research output: Contribution to conferencePaperResearchpeer-review

File

Signer-Anonymous Designated-Verifier Redactable Signatures for Cloud-Based Data Sharing

Derler, D., Krenn, S. & Slamanig, D., 31 Oct 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

Braud-Santoni, N., Bloem, R. & Jacobs, S., 17 Jun 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Parallel algorithms
Stabilization
Temporal logic
Specifications
Formal specification

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Bloem, R., Könighofer, R., Pill, I. H. & Röck, F., 2016, p. 17-24. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Temporal logic
Specifications
Testing

Usable Privacy-aware Logging for Unstructured Log Entries

Rath, C., 31 Aug 2016.

Research output: Contribution to conferencePaperResearchpeer-review

2012

Grøstl Implementation Guide

Matusiewicz, K., Schläffer, M. & Thomsen, S. S., 2012.

Research output: Contribution to conferencePaperResearch

Performance of the SHA-3 Candidates in Java

Hanser, C., 2012.

Research output: Contribution to conferencePaperResearch

Open Access
File
2010

Subspace Distinguisher for 5/8 Rounds of the ECHO-256 Hash Function

Schläffer, M., 2010.

Research output: Contribution to conferencePaperResearch

2008

Report for the September 2008 XAdES Remote Plugtest Event

Lanz, K., 2008.

Research output: Contribution to conferencePaperResearch

2006

SOM-Based Lightweight Policy Verification

Payer, U. & Kraxberger, S., 2006.

Research output: Contribution to conferencePaperResearch