AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification

Azzopardi, Shaun; Ellul, Joshua; Falzon, Ryan; Pace, Gordon J.

doi:10.1007/978-3-031-17196-3_13

Cited by 2 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[30] allows the speciőcation of pre-and post-conditions for smart contract transactions using a variant of the Larva speciőcation language [2] which are then enforced at runtime. Efficient monitoring code based on invariant-speciőcation languages has also been introduced in [9,49] to reject transactions violating speciőed invariants. [1] formalizes expected program semantics and the execution semantics of the Ethereum Virtual Machine (EVM) and matches execution results to the speciőcation using the K framework.…”

Section: Blockchains and Runtime Verificationmentioning

confidence: 99%

“…Various analysis tools utilizing different techniques have been proposed and developed to actively guard against such attacks at runtime. [9] and [74] enforce runtime properties to prevent certain functions from being called recursively while [20] proposed a method that involves actively scanning for known security vulnerabilities at runtime. [65] and [56] employ dynamic analysis techniques to monitor contract execution ŕow during runtime.…”

Section: Runtime-checkable Aspects Of Smart Contractsmentioning

confidence: 99%

See 1 more Smart Citation

Practical runtime verification of cross-organizational smart contracts

Kangogo,

Péter,

Klenik

et al. 2024

Preprint

View full text Add to dashboard Cite

Smart contracts in blockchains often implement critical functionality; consequently, their development time software fault detection, removal, and avoidance have been the target of intensive research. However, the applicability of runtime dependability mechanisms to smart contracts has not been explored systematically, mainly due to the transaction pricing models of public blockchains. In this paper, we propose a novel and practical runtime verification approach for Hyperledger Fabric, the leading cross-organizational blockchain platform, as an error detection facility for fault tolerance mechanisms; building on the proposition that, in contrast to the public setting, cross-organizational blockchains have ample computational headroom for their systematic use. We introduce a smart contract entity framework architecture with reusable domain models and encapsulated runtime verification. We describe Hypernate, our open-source implementation of the approach for Java smart contracts, which uses the Java Modelling Language for requirement specification and integrates the OpenJML verification tool. We demonstrate and evaluate the approach on a Fabric implementation of the TPC-C benchmark.

show abstract

Section: Blockchains and Runtime Verificationmentioning

confidence: 99%

Section: Runtime-checkable Aspects Of Smart Contractsmentioning

confidence: 99%

Practical runtime verification of cross-organizational smart contracts

Kangogo,

Péter,

Klenik

et al. 2024

Preprint

View full text Add to dashboard Cite

show abstract

“…IPFS is a solution to address the problem through an approach as a secure peer-to-peer distributed file system. This system utilizes encrypted file system hash that connects all computing devices to the same file system [9].…”

Section: (Kodavali and Kuppuswamy 2022) 2022mentioning

confidence: 99%

Leveraging Blockchain-based Smart Contracts to Develope Trustworthy Customer Agreements

Irawan,

Wahyu Sabiqudin,

Anwar

et al. 2023

International Journal of Science, Technology & Management

View full text Add to dashboard Cite

The With the advancement of computer, electronic, and telecommunications technology, there has been a significant change in the world of applications, which makes it easier for humans to carry out various activities, both at work and in interacting on social media.CV. Albahritech faces the challenge of not having a quick and easy office equipment maintenance application. This limitation can have a negative impact on company operations. Currently, the maintenance process still relies on communication via WhatsApp or phone, which causes customer appointments to be missed or forgotten due to the large number of calls for customer maintenance services that cannot be fulfilled. In addition, transactions and visit reports are not properly recorded, which can cause customers to experience delays in getting treatment services or even cause customers to look for other treatment services.The currently designed application uses a blockchain-like decentralized network model, known as a DApp. This DApp has several important features that utilize blockchain technology[1], including the ability to make payments using cryptocurrencies such as Ether and the feature to record service lists for customers. In this application, smart contracts are used to create a mechanism of trust and automation in agreements or deals between the parties involved. This ensures that agreements and transactions made within the app are transparent, secure, and without the need for a third party. In addition, the app also uses IPFS for customer data storage. IPFS is a peer-to-peer file distribution system that serves to store and distribute data on the interne[2]t. The use of IPFS in this application enables distributed and decentralized data storage, thereby improving data security and reliability. Keywords: Helpdesk, Ticketing, Blockchain, Smart Contract,IPFS.

show abstract

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification

Cited by 2 publications

References 11 publications

Practical runtime verification of cross-organizational smart contracts

Practical runtime verification of cross-organizational smart contracts

Leveraging Blockchain-based Smart Contracts to Develope Trustworthy Customer Agreements

Contact Info

Product

Resources

About