5 citations · 10 across the 6 of their papers we have counts for
8 papers
Evaluating Large Language Models for Symbolic Security Protocol Analysis
Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis +1
Security protocols verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether large language models (LLMs) can perform comparable analysis. We test…
Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report
Adrian Delchev, Ioannis Sfyrakis, Ellis Solaiman
A smart contract is a translation of a standard paper-based contract that can be enforced and executed by a contract management system. At a high level of abstraction, a contract i…
The Benefits of Deploying Smart Contracts on Trusted Third Parties
Carlos Molina-Jimenez, Ioannis Sfyrakis, Linmao Song +2
The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third…
A Case for a Currencyless Economy Based on Bartering with Smart Contracts
Carlos Molina-Jimenez, Hazem Danny Al Nakib, Linmao Song +2
We suggest the re-introduction of bartering to create a cryptocurrencyless, currencyless, and moneyless economy segment. We contend that a barter economy would benefit enterprises,…
A Survey on Hardware Approaches for Remote Attestation in Network Infrastructures
Ioannis Sfyrakis, Thomas Gross
Remote attestation schemes have been utilized for assuring the integrity of a network node to a remote verifier. In recent years, a number of remote attestation schemes have been p…
GSL: A Cryptographic Library for the strong RSA Graph Signature Scheme
Ioannis Sfyrakis, Thomas Gross
Current cloud and network infrastructures do not employ privacy-preserving methods to protect their assets. Anonymous credential schemes are a cryptographic building block that ena…
Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components
Carlos Molina-Jimenez, Ioannis Sfyrakis, Ellis Solaiman +4
Recently, decentralised (on-blockchain) platforms have emerged to complement centralised (off-blockchain) platforms for the implementation of automated, digital (smart) contracts.…
On and Off-Blockchain Enforcement Of Smart Contracts
Carlos Molina-Jimenez, Ellis Solaiman, Ioannis Sfyrakis +2
In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enf…