Model Checking of Hyperledger Fabric Smart Contracts. - Elmira Ebrahimi; Ehsan Khamespanah; Marjan Sirjani; Siamak Mohammadi (ETFA, 2023)

Latency-Aware Placement of Stream Processing Operators. - Raphael Ecker; Vasileios Karagiannis; Michael Sober; Elmira Ebrahimi; Stefan Schulte 002 (Euro-Par Workshops (1), 2023)

Blockchain-based Federated Learning Utilizing Zero-Knowledge Proofs for Verifiable Training and Aggregation. - Elmira Ebrahimi; Michael Sober; Anh-Tu Hoang; Can Umut Ileri; William Sanders; Stefan Schulte 002 (Blockchain, 2024)

Towards WebAssembly-Based Federated Learning. - Felix Gottschalk; Stefan Schulte 002; Nisal Hemadasa; Elmira Ebrahimi; Janick Edinger; Dominik Kaaser (ESOCC, 2025)