Attestation

Poster: Practical Swarm Attestation using Probabilistic Program Integrity Verification

We propose a novel program integrity verification mechanism which is inherently designed considering the scalability in a swarm setting reducing the total swarm attestation time as compared to the prior art.

Practical Attestation for Edge Devices Running Compute Heavy Machine Learning Applications

We present a practical runtime remote attestation framework that segments the software and randomizes the integrity check of these segments over short random intervals leading to a novel performance-vs-security trade-off.

Attestation of IoT Devices (Ongoing)

We investigate lightweight mechanisms for checking the integrity of the software running on IoT Devices.