Mathias Payer

BenchIoT: A Security Benchmark for the Internet of Things

2019

Attacks against IoT systems are increasing at an alarming pace. Many IoT systems are and will be built using low-cost micro-controllers (IoT-uCs). Different security mechanisms have been proposed for IoT-uCs with different trade-offs. To guarantee …

SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices

2023 · arXiv (Cornell University)

Trusted Execution Environments (TEEs) embedded in IoT devices provide a deployable solution to secure IoT applications at the hardware level. By design, in TEEs, the Trusted Operating System (Trusted OS) is the primary component. It …