Publications by Dr Ioannis Sfyrakis - ePrints

Browsing publications by Dr Ioannis Sfyrakis.

Newcastle Authors	Title	Year
Dr Ioannis Sfyrakis Dr Ellis Solaiman	Developing a Compiler for EROP--A Language for the Specification of Smart Contracts, An Experience Report	2023
Dr Ellis Solaiman Dr Ioannis Sfyrakis	Implementation and evaluation of smart contracts using a hybrid on‐ and off‐blockchain architecture	2021
Dr Syh Yuan Tan Dr Ioannis Sfyrakis Professor Thomas Gross	A q-SDH-based Graph Signature Scheme on Full-Domain Messages with Efficient Protocols	2020
Dr Carlos Molina-Jimenez Dr Ellis Solaiman Dr Ioannis Sfyrakis	On and Off-Blockchain Enforcement Of Smart Contracts	2019
Dr Carlos Molina-Jimenez Dr Ioannis Sfyrakis Dr Ellis Solaiman	Implementation of Smart Contracts Using Hybrid Architectures with On and Off–Blockchain Components	2018
Dr Carlos Molina-Jimenez Dr Ellis Solaiman Dr Ioannis Sfyrakis	On and Off-Blockchain Enforcement Of SmartContracts	2018
Professor Thomas Gross Dr Ioannis Sfyrakis	Specification of the Graph Signature Cryptographic Library and the PRISMACLOUD Topology Certification Version 0.9.2	2018
Dr Ioannis Sfyrakis Professor Thomas Gross	UniGuard: Protecting Unikernels using Intel SGX	2018
Dr Ioannis Sfyrakis Professor Thomas Gross	VirtusCap: Capability-based Access Control for Unikernels	2017
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	High Level Model Checker Based Testing Of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	High Level Model Checker Based Testing Of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	Dynamic Testing and Deployment of a Contract Monitoring Service	2015
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	Dynamic Testing and Deployment of a Contract Monitoring Service	2015