English
Related papers

Related papers: Towards Secure and Trusted-by-Design Smart Contrac…

200 papers

Permission-less blockchains can realise trustless trust, albeit at the cost of limiting the complexity of computation tasks. To explain the implications for scalability, we have implemented a trust model for smart contracts, described as…

Cryptography and Security · Computer Science 2018-01-30 Dominik Harz , Magnus Boman

Cryptocurrencies are poised to revolutionize the modern economy by democratizing commerce. These currencies operate on top of blockchain-based distributed ledgers. Existing permissionless blockchain-based protocols offer unparalleled…

Cryptography and Security · Computer Science 2022-03-25 Anurag Jain , Sanidhay Arora , Sankarshan Damle , Sujit Gujar

The industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising…

Cryptography and Security · Computer Science 2025-06-30 Önder Gürcan

Blockchain technology has emerged as a transformative paradigm for decentralized and secure data management across diverse application domains, including healthcare, supply chain management, and the Internet of Things. Its core features,…

Cryptography and Security · Computer Science 2025-05-14 Hojer Key

At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and…

Cryptography and Security · Computer Science 2017-07-28 Joseph Y. Halpern , Rafael Pass

In this paper we propose a comprehensive and scalable framework to build secure-by-design e-voting systems. Decentralization, transparency, determinism, and untamperability of votes are granted by dedicated smart contracts on a blockchain,…

Cryptography and Security · Computer Science 2021-11-04 Antonio Russo , Antonio Fernández Anta , Maria Isabel González Vasco , Simon Pietro Romano

Verification of data generated by wearable sensors is increasingly becoming of concern to health service providers and insurance companies. There is a need for a verification framework that various authorities can request a verification…

Cryptography and Security · Computer Science 2023-01-18 Mohammad Hossein Chinaei , Hassan Habibi Gharakheili , Vijay Sivaraman

The combination between innovative topics and emerging technologies lets researchers define new processes and models. New needs regard the definition of modular and scalable approaches, with society and environment in mind. An important…

Software Engineering · Computer Science 2023-05-08 Marco Fiore , Marina Mongiello

Electronic invoicing is another area where blockchain technology is being used. Additionally, it has the power to alter how payments are made, invoices are issued, and transactions are validated. Using a blockchain-based invoicing system…

Cryptography and Security · Computer Science 2023-09-08 Nikhil Sontakke , Shivansh Rastogi , Sejal Utekar , Shriraj Sonawane

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 Parties (on-TTPs). As a result, current research and…

Networking and Internet Architecture · Computer Science 2020-10-27 Carlos Molina-Jimenez , Ioannis Sfyrakis , Linmao Song , Hazem Danny Al Nakib , Jon Crowcroft

The blockchain concept forms the backbone of a new wave technology that promises to be deployed extensively in a wide variety of industrial and societal applications. Governments, financial institutions, banks, industrial supply chains,…

Computer Science and Game Theory · Computer Science 2020-01-17 Shivika Narang

Construction project governance relies on agreements between the actors along the construction industry value chain. The mutual obligations arising from these contracts rely on timely monetary transactions. Despite the advantages of…

Smart Contracts are commonly considered to be an important component or even a key to many business solutions in an immense variety of sectors and promises to securely increase their individual efficiency in an ever more digitized…

Computational Finance · Quantitative Finance 2021-03-16 Elizaveta Zinovyeva , Raphael C. G. Reule , Wolfgang Karl Härdle

Traceability and auditability are key structures that are vital in supply chain management and construction. However, trust is the most important aspect of customers in these systems. Also, we have to rely on third parties to trade in…

Cryptography and Security · Computer Science 2021-03-22 Bora Bugra Sezer , Selcuk Topal , Urfat Nuriyev

Corruption is a major global financial problem with billions of dollars rendered lost or unaccountable annually. Corruption through contract fraud is often conducted by withholding and/or altering financial information. When such scandals…

Computers and Society · Computer Science 2020-02-18 Jørgen Svennevik Notland , Jakob Svennevik Notland , Donn Morrison

The blockchain technology provides integrity and reliability of the information, thus offering a suitable solution to guarantee trustability in a multi-stakeholder scenario that involves actors defining business agreements. The Ride2Rail…

Computers and Society · Computer Science 2025-12-08 Mario Scrocca , Marco Comerio , Alessio Carenini , Irene Celino

Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deployed to the blockchain, cannot be patched anymore. As smart…

Cryptography and Security · Computer Science 2019-07-10 Konrad Weiss , Julian Schütte

Blockchain technology enforces the security, robustness, and traceability of operations of Process-Aware Information Systems (PAISs). In particular, transparency ensures that all data is publicly available, fostering trust among…

Cryptography and Security · Computer Science 2026-04-23 Michele Kryston , Edoardo Marangone , Alessandro Marcelletti , Claudio Di Ciccio

The digital transformation of companies is expected to increase the digital interconnection between different companies to develop optimized, customized, hybrid business models. These cross-company business models require secure, reliable,…

Cryptography and Security · Computer Science 2020-07-29 Kevin Wallis , Jan Stodt , Eugen Jastremskoj , Christoph Reich

The telecommunications and financial services industries face substantial challenges in inter-operator settlement processes, characterized by extended reconciliation cycles, high transaction costs, and limited real-time transparency.…

Cryptography and Security · Computer Science 2025-12-12 Balakumar Ravindranath Kunthu , Ranganath Nagesh Taware , Sathish Krishna Anumula