Elahe Fazeldehkordi

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 7

Top Topics

Distributed Systems

Statistical Databases

Preserving Privacy

Top Venues

J. Log. Algebraic Methods Program.

Publications

Olaf Owe, Elahe Fazeldehkordi
A lightweight approach to smart contracts supporting safety, security, and privacy. J. Log. Algebraic Methods Program. 127 (2022)
Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi
A Flexible Framework for Program Evolution and Verification. MODELSWARD (2019)
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. IOSec/MSTEC/FINSEC@ESORICS (2019)
Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin
A Framework for Flexible Program Evolution and Verification of Distributed Systems. MODELSWARD (Revised Selected Papers) (2019)
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
Security and Privacy in IoT Systems: A Case Study of Healthcare Products. ISMICT (2019)
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
Security and Privacy Functionalities in IoT. PST (2019)
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
Hoare-Style Reasoning from Multiple Contracts. IFM (2017)