Staff Profile

Ioannis is currently working as a Research Associate for the ERC Confidentiality-Preserving Security Assurance (CASCAde) research project at the school of Computing at Newcastle University.

Prior to that he was a Research Associate for the EU Horizon PrismaCloud research project at Newcastle University.

Ioannis holds both a MSc Advanced Computer Science (Distinction) and a PhD in Computer Science from Newcastle University.

My research interests span the areas of cloud security, remote attestation, trusted execution and smart contracts. In cloud security I particularly focus on access control systems for virtualized infrastructures that employ lightweight virtual machines. In remote attestation, I focus on creating attestation schemes that preserve confidentiality and configuration privacy of attested systems that mainly use zero-knowledge protocols and are bound to hardware devices. My research in smart contracts has contributed software tools for monitoring and enforcing smart contract rules and design approaches for creating different smart contract architectures for integrating on and off blockchain smart contracts.

• Sfyrakis I, Gross T. VirtusCap: Capability-based Access Control for Unikernels. In: IEEE International Conference on Cloud Engineering (IC2E 2017). 2017, Vancouver, BC, Canada: IEEE.
• Solaiman E, Sfyrakis I, Molina-Jimenez C. High Level Model Checker Based Testing Of Electronic Contracts. In: Cloud Computing and Services Science. Springer-Verlag, 2016, pp.193-215.
• Solaiman E, Sfyrakis I, Molina-Jimenez C. A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. In: 18th IEEE Conference on Business Informatics (CBI). 2016, Paris, France: IEEE.
• Solaiman E, Sfyrakis I, Molina-Jimenez C. High Level Model Checker Based Testing Of Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1490.
• Solaiman E, Sfyrakis I, Molina-Jimenez C. Dynamic Testing and Deployment of a Contract Monitoring Service. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1460.
• Solaiman E, Sfyrakis I, Molina-Jimenez C. Dynamic Testing and Deployment of a Contract Monitoring Service. In: 5th International Conference on Cloud Computing and Services Science (CLOSER 2015). 2015, Lisbon, Portugal: SCITEPRESS.
• Tan SY, Sfyrakis I, Gross T. A q-SDH-based Graph Signature Scheme on Full-Domain Messages with Efficient Protocols. Cryptology ePrint Archive, 2020. 2020/1403.
• Solaiman E, Wike T, Sfyrakis I. Implementation and evaluation of smart contracts using a hybrid on‐ and off‐blockchain architecture. Concurrency and Computation Practice and Experience 2021, 33(1), e5811.
• Molina-Jimenez C, Solaiman E, Sfyrakis I, Ng I, Crowcroft J. On and Off-Blockchain Enforcement Of Smart Contracts. In: EURO-PAR 2018 24th International European Conference on Parallel and Distributed Computing - FPDAPP 2018 International Workshop on Future Perspective of Decentralized Applications. 2019, Turin, Italy: Springer.
• Molina-Jimenez C, Sfyrakis I, Solaiman E, Ng I, Wong M, Chun A, Crowcroft J. Implementation of Smart Contracts Using Hybrid Architectures with On and Off–Blockchain Components. In: The 8th IEEE International Symposium on Cloud and Services Computing (IEEE SC2) 2018. 2018, Paris, France: IEEE.
• Molina-Jimenez C, Solaiman E, Sfyrakis I, Ng I, Crowcroft J. On and Off-Blockchain Enforcement Of SmartContracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle University, 2018. School of Computing Technical Report Series 1519.
• Gross T, Sfyrakis I. Specification of the Graph Signature Cryptographic Library and the PRISMACLOUD Topology Certification Version 0.9.2. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2018. School of Computing Technical Report Series 1523.
• Sfyrakis I, Gross T. UniGuard: Protecting Unikernels using Intel SGX. In: IEEE International Conference on Cloud Engineering. 2018, Orlando, USA: IEEE.