Matteo Maffei

Matteo Maffei is a **Professor** at TU Wien's Institute of Computer Engineering, part of the Security and Privacy research group. His work focuses on blockchain security, cryptographic protocols, and decentralized systems. He has contributed to formal verification of smart contracts, payment channel networks, and web security mechanisms.
Recent research includes analyzing vulnerabilities in web session integrity, optimizing Lightning Network protocols (e.g., Thora, Sleepy Channels), and developing privacy-preserving coin mixing services.

• Education: PhD in Computer Science (details not specified)
• Affiliations: TU Wien's Security and Privacy Research Group
• Labs/Teams: Network Lab (affiliated with TU Wien)

Research Interests:

• Cryptography and its applications to blockchain systems
• Secure decentralized protocols (e.g., payment channels, smart contracts)
• Formal methods for verifying system security properties

Publications emphasize practical security solutions for blockchain scalability (e.g., atomic multi-channel updates) and privacy (e.g., coin mixing services). His work bridges theoretical cryptography with real-world implementations, addressing vulnerabilities in widely used protocols like Bitcoin and Ethereum.

Grants/Advising: Supervised over 15 graduate students on topics including blockchain analysis, static code verification, and privacy-preserving systems. Notable advisees include Aron Wussler (Post-Quantum Cryptography), Martin Schweighofer (Ethereum contract analysis), and Nikolas Haimerl (Terra Network tracing).