Christof Torres
Assistant Professor at INESC-ID
Lisbon, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolChristof Torres is an Assistant Professor and researcher based in Lisbon specializing in the security and privacy of blockchain systems, with a focus on formal verification of smart contracts, Web3 privacy, and cross-chain MEV. With 11 years of experience spanning academic and research institutions—including ETH Zürich, Fraunhofer AISEC, and INESC‑ID—he blends deep theoretical training (Dr. rer. nat. / PhD-level work) with hands-on analysis of real-world blockchain vulnerabilities. He has served on the EU Blockchain Observatory expert panel and routinely translates rigorous formal methods into practical tools and evaluations for decentralized systems. Known for bridging academia and industry, Christof often works at the intersection of protocol design, automated verification, and privacy engineering. He maintains an active research presence and resources at christoftorres.com, signaling a commitment to accessible, reproducible security research.
11 years of coding experience
8 years of employment as a software developer
Doctor's Degree Computer Science, Doctor's Degree Computer Science at University of LuxembourgDr. rer. nat. Computer Science, Dr. rer. nat. Computer Science at Technical University of Munich
English, German, French, Portuguese, Luxembourgish, Dutch
Github Skills (16)
raid10
solidity8
smart-contracts8
ethereum7
blockchain7
fuzzer7
patch5
hybrid4
hmac4
crypto3
java3
cryptography3
encryption3
networking2
network2
Programming languages (4)
Github contributions (5)
christoftorres/Horus
Mar 2020 - Sep 2022
Contributions:91 commits, 2 pushes in 2 years 6 months
christoftorres/Osiris
Sep 2018 - Aug 2020
A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
Contributions:1 release, 2 commits, 1 PR in 1 year 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.