Dynamic Testing and Deployment of a Contract Monitoring Service. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CLOSER, 2015)

High Level Model Checker Based Testing of Electronic Contracts. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CLOSER (Selected Papers), 2015)

A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CBI (1), 2016)

VirtusCap: Capability-Based Access Control for Unikernels. - Ioannis Sfyrakis; Thomas Gross 001 (IC2E, 2017)

On and Off-Blockchain Enforcement of Smart Contracts. - Carlos Molina-Jiménez; Ellis Solaiman; Ioannis Sfyrakis; Irene C. L. Ng; Jon Crowcroft (Euro-Par Workshops, 2018)

UniGuard: Protecting Unikernels Using Intel SGX. - Ioannis Sfyrakis; Thomas Gross 001 (IC2E, 2018)

Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components. - Carlos Molina-Jiménez; Ioannis Sfyrakis; Ellis Solaiman; Irene C. L. Ng; Meng Weng Wong; Alexis Chun; Jon Crowcroft (SC², 2018)

Securing unikernels in cloud infrastructures. - Ioannis Sfyrakis (2019)

GSL: A Cryptographic Library for the strong RSA Graph Signature Scheme. - Ioannis Sfyrakis; Thomas Gross 001 (CoRR, 2020)

A Survey on Hardware Approaches for Remote Attestation in Network Infrastructures. - Ioannis Sfyrakis; Thomas Gross 001 (CoRR, 2020)

A Case for a Currencyless Economy Based on Bartering with Smart Contracts. - Carlos Molina-Jiménez; Hazem Danny Al-Nakib; Linmao Song; Ioannis Sfyrakis; Jon Crowcroft (CoRR, 2020)

The Benefits of Deploying Smart Contracts on Trusted Third Parties. - Carlos Molina-Jiménez; Ioannis Sfyrakis; Linmao Song; Hazem Danny Al-Nakib; Jon Crowcroft (CoRR, 2020)

A q-SDH-based Graph Signature Scheme on Full-Domain Messages with Efficient Protocols. - Syh-Yuan Tan; Ioannis Sfyrakis; Thomas Gross 001 (IACR Cryptol. ePrint Arch., 2020)

Implementation and evaluation of smart contracts using a hybrid on- and off-blockchain architecture. - Ellis Solaiman; Todd Wike; Ioannis Sfyrakis (Concurr. Comput. Pract. Exp., 2021)

Developing a Compiler for EROP - A Language for the Specification of Smart Contracts, An Experience Report. - Adrian Delchev; Ioannis Sfyrakis; Ellis Solaiman (CoRR, 2023)

A Relational Credential System from q-SDH-based Graph Signatures. - Syh-Yuan Tan; Ioannis Sfyrakis; Thomas Groß 001 (IACR Cryptol. ePrint Arch., 2023)