Sérgio Guerreiro, " Enterprise Dynamic Systems Control enforcement of run-time business transactions using DEMO: principles of design and implementation", PhD in Computer Science and Engineering, Instituto Superior Técnico, Universidade Técnica de Lisboa, July 2012.
Rafael Belchior, “Distributed Ledger Interoperability Security”, PhD in Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, October 2024 (Jury final classification: Pass with Distinction and Honour).