Hoare-Style Reasoning from Multiple Contracts. - Olaf Owe; Toktam Ramezanifarkhani; Elahe Fazeldehkordi (IFM, 2017)

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. - Elahe Fazeldehkordi; Olaf Owe; Toktam Ramezanifarkhani (IOSec/MSTEC/FINSEC@ESORICS, 2019)

Security and Privacy in IoT Systems: A Case Study of Healthcare Products. - Elahe Fazeldehkordi; Olaf Owe; Josef Noll (ISMICT, 2019)

A Framework for Flexible Program Evolution and Verification of Distributed Systems. - Olaf Owe; Elahe Fazeldehkordi; Jia-Chun Lin (MODELSWARD (Revised Selected Papers), 2019)

A Flexible Framework for Program Evolution and Verification. - Olaf Owe; Jia-Chun Lin; Elahe Fazeldehkordi (MODELSWARD, 2019)

Security and Privacy Functionalities in IoT. - Elahe Fazeldehkordi; Olaf Owe; Josef Noll (PST, 2019)

A lightweight approach to smart contracts supporting safety, security, and privacy. - Olaf Owe; Elahe Fazeldehkordi (J. Log. Algebraic Methods Program., 2022)