Follow
Ioannis Sfyrakis
Ioannis Sfyrakis
Lecturer in Computer Science, Teesside University
Verified email at tees.ac.uk
Title
Cited by
Cited by
Year
Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components
C Molina-Jimenez, I Sfyrakis, E Solaiman, I Ng, M Weng Wong, A Chun, ...
arxiv preprint arXiv:1808.00093 [cs.SE], 12, 2018
732018
On and Off-Blockchain Enforcement Of Smart Contracts
C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng, J Crowcroft
arXiv preprint arXiv:1805.00626, 2018
582018
Implementation and evaluation of smart contracts using a hybrid on‐and off‐blockchain architecture
E Solaiman, T Wike, I Sfyrakis
Concurrency and computation: practice and experience 33 (1), e5811, 2021
332021
A survey on hardware approaches for remote attestation in network infrastructures
I Sfyrakis, T Gross
arXiv preprint arXiv:2005.12453, 2020
162020
Uniguard: Protecting unikernels using intel SGX
I Sfyrakis, T Gross
2018 IEEE International Conference on Cloud Engineering (IC2E), 99-105, 2018
122018
A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts
E Solaiman, I Sfyrakis, C Molina-Jimenez
IEEE Conference on Business Informatics (CBI), 2016
92016
High Level Model Checker Based Testing Of Electronic Contracts
E Solaiman, I Sfyrakis, C Molina-Jimenez
Cloud Computing and Services Science 581, 193-215, 2016
82016
Dynamic Testing and Deployment of a Contract Monitoring Service
E Solaiman, I Sfyrakis, C Molina-Jimenez
5th International Conference on Cloud Computing and Services Science (CLOSERá…, 2015
72015
A q-SDH-based graph signature scheme on full-domain messages with efficient protocols
SY Tan, I Sfyrakis, T Gro▀
Cryptology ePrint Archive, 2020
62020
The benefits of deploying smart contracts on trusted third parties
C Molina-JimÚnez, I Sfyrakis, L Song, HDA Nakib, J Crowcroft
arXiv preprint arXiv:2010.12981, 2020
52020
VirtusCap: Capability-based Access Control for Unikernels
I Sfyrakis, T Gro▀
IEEE International Conference on Cloud Engineering (IC2E 2017), 2017
32017
Deployment of the contract compliant checker:(user’s guide)
C Molina-Jimenez, I Sfyrakis
22016
A Relational Credential System from -SDH-based Graph Signatures
SY Tan, I Sfyrakis, T Gross
Cryptology ePrint Archive, 2023
12023
A Case for a Currencyless Economy Based on Bartering with Smart Contracts
C Molina-Jimenez, HDA Nakib, L Song, I Sfyrakis, J Crowcroft
arXiv preprint arXiv:2010.07013, 2020
12020
On and Off-Blockchain Enforcement of Smart Contracts
JC C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng
Euro-Par 2018: Parallel Processing Workshops: Euro-Par 2018 Internationalá…, 0
1*
Developing a Compiler for EROP--A Language for the Specification of Smart Contracts, An Experience Report
A Delchev, I Sfyrakis, E Solaiman
arXiv preprint arXiv:2303.01595, 2023
2023
GSL: A Cryptographic Library for the strong RSA Graph Signature Scheme
I Sfyrakis, T Gross
arXiv preprint arXiv:2005.12447, 2020
2020
Specification of the Graph Signature Cryptographic Library and the PRISMACLOUD Topology Certification Version 0.9.2
T Gross, I Sfyrakis
CS-TR-1523, 49, 2018
2018
On and Off-Blockchain Enforcement Of Smart
C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng, J Crowcroft
2018
Computing Science: Dynamic Testing and Deployment of a Contract Monitoring Service
E Solaiman, I Sfyrakis
Newcastle University, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20