Personal Website for my Scientific Publications
-
Updated
Jul 4, 2026 - HTML
#
security-protocol-verification
Here are 2 public repositories matching this topic...
Prototypical Implementation for the Research Paper "Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise"
formal-verification automotive-security hyperproperties network-architectures security-protocol-verification
-
Updated
Apr 7, 2026 - JavaScript
Add this topic to your repo
To associate your repository with the security-protocol-verification topic, visit your repo's landing page and select "manage topics."