Menu
Research
Directions
Publications
Projects
Artifacts
Teaching
Courses
Theses
Double degreee
People
Team
Alumni
Work with us
Job opportunities
Internship program
News
Twitter
Dissemination
Contact us
Contact
How to reach us
Victoria Buchsbaum
MA
Roles
Project Services
Contact
victoria.buchsbaum@tuwien.ac.at
+43-1-58801-192603
Favoritenstrasse 9
,
Room HC0105
Projects
(at TU Wien)
BlockSec : Formal Methods for Secure Blockchain-Oriented Programming
2025 - 2030 / European Commission