Elahe Fazeldehkordi

According to our database, Elahe Fazeldehkordi authored at least 7 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A lightweight approach to smart contracts supporting safety, security, and privacy.

Olaf Owe, Elahe Fazeldehkordi

J. Log. Algebraic Methods Program., 2022

2019

Security and Privacy Functionalities in IoT.

Elahe Fazeldehkordi, Olaf Owe, Josef Noll

Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019

A Flexible Framework for Program Evolution and Verification.

Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

A Framework for Flexible Program Evolution and Verification of Distributed Systems.

Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin

Proceedings of the Model-Driven Engineering and Software Development, 2019

Security and Privacy in IoT Systems: A Case Study of Healthcare Products.

Elahe Fazeldehkordi, Olaf Owe, Josef Noll

Proceedings of the 13th International Symposium on Medical Information and Communication Technology, 2019

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems.

Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani

Proceedings of the Computer Security - ESORICS 2019 International Workshops, 2019

2017

Hoare-Style Reasoning from Multiple Contracts.

Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017