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 | 77 | 2018 |
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 | 60 | 2018 |
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 | 36 | 2021 |
A survey on hardware approaches for remote attestation in network infrastructures I Sfyrakis, T Gross arXiv preprint arXiv:2005.12453, 2020 | 20 | 2020 |
Uniguard: Protecting unikernels using intel SGX I Sfyrakis, T Gross 2018 IEEE International Conference on Cloud Engineering (IC2E), 99-105, 2018 | 13 | 2018 |
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 | 10 | 2016 |
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 | 8 | 2016 |
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 | 8 | 2015 |
A q-SDH-based graph signature scheme on full-domain messages with efficient protocols SY Tan, I Sfyrakis, T Groß Cryptology ePrint Archive, 2020 | 7 | 2020 |
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 | 5 | 2020 |
VirtusCap: Capability-based Access Control for Unikernels I Sfyrakis, T Groß IEEE International Conference on Cloud Engineering (IC2E 2017), 2017 | 3 | 2017 |
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 | 2 | 2020 |
Deployment of the contract compliant checker:(user’s guide) C Molina-Jimenez, I Sfyrakis | 2 | 2016 |
A Relational Credential System from -SDH-based Graph Signatures SY Tan, I Sfyrakis, T Gross Cryptology ePrint Archive, 2023 | 1 | 2023 |
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 |