Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

  • 8010

    Inffeldgasse 16a Graz

    Österreich

Forschungsoutput 1983 2019

Filter
Paper
2019

Attacking AUTOSAR using Software and Hardware Attacks

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Datei
2018

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Monitoring
Cyber Physical System

LIGHTest -- A Lightweight Infrastructure for Global Heterogeneous Trust Management

Brügger, B. & Lipp, P., 13 Okt 2016, S. 15. 26 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Datei

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access
Datei
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, S. 17-24. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Temporal logic
Specifications
Testing

Usable Privacy-aware Logging for Unstructured Log Entries

Rath, C., 31 Aug 2016.

Publikation: KonferenzbeitragPaperForschungBegutachtung

2012

Grøstl Implementation Guide

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

Publikation: KonferenzbeitragPaperForschung

Performance of the SHA-3 Candidates in Java

Hanser, C., 2012.

Publikation: KonferenzbeitragPaperForschung

Open Access
Datei
2010

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

Schläffer, M., 2010.

Publikation: KonferenzbeitragPaperForschung

2008

Report for the September 2008 XAdES Remote Plugtest Event

Lanz, K., 2008.

Publikation: KonferenzbeitragPaperForschung

2006

SOM-Based Lightweight Policy Verification

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

Publikation: KonferenzbeitragPaperForschung