Christian Sack

Christian Sack is an External Lecturer at the Technische Universität Wien (TU Wien) within the Department of Logic and Computation, Faculty of Informatics. His work focuses on blockchain technology, specifically smart contract security and formal methods for analyzing Ethereum Virtual Machine (EVM) bytecode. He teaches courses such as 2025S Smart Contracts (2025S/192.078/VU).

Education includes a Diploma Thesis titled Erkennung von Mustern in EVM-Bytecode durch XQuery-Abfragen auf Ausführungspfaden im Kontrollflussgraphen (2023). Research interests center on secure smart contract development, cryptographic protocols, and formal verification techniques applied to blockchain systems.

Publications include a 2023 thesis and a 2020 SoK paper on secure smart contract development lessons from graduate education. No awards are explicitly listed. His research contributes to improving security practices in blockchain ecosystems through rigorous analysis methodologies.