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 |
|
