Katharina Hofer-Schmitz

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 7

Top Topics

Formal Verification

Automated Detection

Network Intrusion

Top Venues

Publications

Katharina Hofer-Schmitz
A Formal Analysis of EnOcean's Teach-in and Authentication. ARES (2021)
Helmut Neuschmied, Martin Winter, Katharina Hofer-Schmitz, Branka Stojanovic, Ulrike Kleb
Two Stage Anomaly Detection for Network Intrusion Detection. ICISSP (2021)
Branka Stojanovic, Josip Bozic, Katharina Hofer-Schmitz, Kai Nahrgang, Andreas Weber, Atta Badii, Maheshkumar Sundaram, Elliot Jordan, Joel Runevic
Follow the Trail: Machine Learning for Fraud Detection in Fintech Applications. Sensors 21 (5) (2021)
Katharina Hofer-Schmitz, Branka Stojanovic
Towards formal verification of IoT protocols: A Review. Comput. Networks 174 (2020)
Branka Stojanovic, Katharina Hofer-Schmitz, Ulrike Kleb
APT datasets and attack modeling for automated detection methods: A review. Comput. Secur. 92 (2020)
Katharina Hofer-Schmitz, Phuong-Ha Nguyen, Kristian Berwanger
One-class Autoencoder approach to classify Raman spectra outliers. ESANN (2018)
Simon Harmata, Katharina Hofer-Schmitz, Phuong-Ha Nguyen, Christoph Quix, Bujar Bakiu
Layout-Aware Semi-automatic Information Extraction for Pharmaceutical Documents. DILS (2017)