Victoria Buchsbaum
MA
Roles
- Project Services
Projects (at TU Wien)
-
BlockSec : Formal Methods for Secure Blockchain-Oriented Programming
2025 - 2030 / European Commission -
Ark Labs : Ark – novel Bitcoin layer-2 protocol
2024 - 2025 / AKRLabs OÜ