Results 61 to 70 of about 27,305 (300)
The International Journal of Digital Accounting Research, 2018 Los contratos inteligentes que usan el blockchain están emergiendo como una fuerza disruptiva que pude cambiar la manera en que se llevan a cabo y se entregan las auditorías de estados financieros. Con su habilidad potencial de ejecutar procedimientos de auditoría para el auditor de forma autónoma y divulgar los resultados de estos procedimientos, los ...
Rozairo, Andrea M., Vasarhely, Miklos A.
openaire +2 more sources
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019 In recent years, smart contracts have suffered major exploits, losing millions of dollars. Unlike traditional programs, smart contracts cannot be updated once deployed. Though various tools were pro-posed to detect vulnerable smart contracts, they all fail to protect contracts that have already been deployed on the blockchain.
Christof Ferreira Torres +3 more
openaire +2 more sources
Penerapan Smart Contract Pada Teknologi Blockchain Dalam Kaitannya Dengan Praktik Notaris
Unes Journal of Swara JustisiaSmart contract adalah program yang dapat memastikan bahwa aturan atau perjanjian di jaringan basis data terdistribusi berlaku untuk transaksi yang terjadi.
Hilda Afrida Sisca +2 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.This study explores the lightweight potential of laser additive‐manufactured NiTi triply periodic minimal surface sheet lattices. It systematically investigates the effects of relative density and unit cell size on surface quality, deformation recovery, compression behavior, and energy absorption.
Haoming Mo +3 more
wiley +1 more source
Smart Contract Synthesis Modulo Hyperproperties [PDF]
, 2022 Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transactions on the blockchain. A broad range of methods has been developed to ensure
Jana Hofmann (17433348) +3 more
core +1 more source
Smart Contract Interactions in Coq [PDF]
, 2020 We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire +3 more sources
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
P-Chain: Towards privacy-aware smart contract using SMPC [PDF]
Smart contract, as the representative application of blockchain, has recently fueled extensive research interests from both academia and industry. However, with its wide applications, the weaknesses of smart contract have been gradually revealed.
Zhang, Yuexin +4 more
core +1 more source
Karakteristik Smart Contract [PDF]
, 2023 Smart contract merupakan perjanjian elektronik yang dituliskan dalam kode komputer dan dioperasikan dalam suatu sistem yang bernama blockchain yang dapat menjalankan dan menegakkan ketentuan-ketentuan dalam perjanjian tersebut secara otomatis.
Mustofa, Fatwa Fitrilia
core
SoK:TEE-assisted confidential smart contract [PDF]
, 2022 The blockchain-based smart contract lacks privacy since the contract state and instruction code are exposed to the public. Combining smart-contract execution with Trusted Execution Environments (TEEs) provides an efficient solution, called TEE-assisted ...
Rujia Li +9 more
core +1 more source