Pinned Loading

1. scientific-publications scientific-publications Public

   Personal Website for my Scientific Publications

   HTML

2. ExACT ExACT Public

   Prototypical Implementation for the Research Paper "Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise"

   JavaScript

3. enter-the-lambda enter-the-lambda Public

   Fully text-based, single button controlled, engine/library/framework-less video game. It aims to provide a classic arcade experience through its visuals.

   JavaScript