English
Related papers

Related papers: Issuing Green Bonds on the Algorand Blockchain

200 papers

In a circular economy, tracking the flow of second-life components for quality control is critical. Tokenization can enhance the transparency of the flow of second-life components. However, simple tokenization does not correspond to real…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-24 Mojtaba Eshghie , Li Quan , Gustav Andersson Kasche , Filip Jacobson , Cosimo Bassi , Cyrille Artho

Climate change and global warming are the significant challenges of the new century. A viable solution to mitigate greenhouse gas emissions is via a globally incentivized market mechanism proposed in the Kyoto protocol. In this view, the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-02 Soheil Saraji , Mike Borowczak

Motivated by the recent studies on the green bond market, we build a model in which an investor trades on a portfolio of green and conventional bonds, both issued by the same governmental entity. The government provides incentives to the…

Mathematical Finance · Quantitative Finance 2021-01-05 Bastien Baldacci , Dylan Possamaï

The promising markets for voluntary carbon credits are faced with crippling challenges to the certification of carbon sequestration and the lack of scalable market infrastructure in which companies and institutions can invest in carbon…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-18 Henrik Axelsen , Ulrik Rasmussen , Johannes Rude Jensen , Omri Ross , Fritz Henglein

Real and effective regulation of contributions to greenhouse gas emissions and pollutants requires unbiased and truthful monitoring. Blockchain has emerged not only as an approach that provides verifiable economical interactions but also as…

Cryptography and Security · Computer Science 2024-12-23 Maria-Victoria Vladucu , Hailun Wu , Jorge Medina , Khondaker M. Salehin , Ziqian Dong , Roberto Rojas-Cessa

Carbon credit systems have emerged as a policy tool to incentivize emission reductions and support the transition to clean energy. Reliable carbon-credit certification depends on mechanisms that connect actual, measured renewable-energy…

Software Engineering · Computer Science 2026-01-21 Matteo Vaccargiu , Azmat Ullah , Pierluigi Gallo

Electronic waste (e-waste) is a rapidly growing global problem caused by shorter device lifecycles and rising consumption. India ranks third globally in e-waste generation, producing over 1.7 million tonnes in 2023-24, of which less than…

Human-Computer Interaction · Computer Science 2025-10-13 Yashodip Dharmendra Jagtap , Aaditya Ganesh Bagul

Traditional smart grid energy auctions cannot directly be integrated in blockchain due to its decentralized nature. Therefore, research works are being carried out to propose efficient decentralized auctions for energy trading. Since,…

Cryptography and Security · Computer Science 2021-06-29 Muneeb Ul Hassan , Mubashir Husain Rehmani , Jinjun Chen

Founded in 2017, Algorand is one of the world's first carbon-negative, public blockchains inspired by proof of stake. Algorand uses a Byzantine agreement protocol to add new blocks to the blockchain. The protocol can tolerate malicious…

Computer Science and Game Theory · Computer Science 2023-02-23 Maizi Liao , Wojciech Golab , Seyed Majid Zahedi

Blockchain has the potential to accelerate the deployment of emissions trading systems (ETS) worldwide and improve upon the efficiency of existing systems. In this paper, we present a model for a permissioned blockchain implementation based…

Cryptography and Security · Computer Science 2020-10-05 Andreas Richardson , Jiahua Xu

This chapter contributes to evolving the versatility and complexity of blockchain-enabled services through extending the functionality of blockchain-enforced smart contracts. The contributions include: (i) a method for automated management…

Cryptography and Security · Computer Science 2018-06-29 Craig Wright , Antoaneta Serguieva

In the past years trend of microgrids is increasing very fast to reduce peak-hour costs. However, in these systems, third parties are still involved in selling surplus energy. This results in increased cost of energy and there are many…

Cryptography and Security · Computer Science 2024-05-21 Muhammad Awais , Qamar Abbas , Shehbaz Tariq , Sayyaf Haider Warraich

The rapid development of Artificial IntelligenceGenerated Content (AIGC) has brought daunting challenges regarding service latency, security, and trustworthiness. Recently, researchers presented the edge AIGC paradigm, effectively optimize…

Cryptography and Security · Computer Science 2023-03-07 Yinqiu Liu , Hongyang Du , Dusit Niyato , Jiawen Kang , Zehui Xiong , Chunyan Miao , Xuemin , Shen , Abbas Jamalipour

Electronic waste (e-waste) is one of the fastest-growing waste streams worldwide due to rapid technological advancements and shorter device lifespans. Improper disposal releases hazardous substances that harm the environment and human…

Human-Computer Interaction · Computer Science 2026-05-19 Yashodip Jagtap , Aaditya Bagul , Om Kothawal , Puja Patil

Modern societies have adopted government-issued fiat currencies many of which exist today mainly in the form of digits in credit and bank accounts. Fiat currencies are controlled by central banks for economic stimulation and stabilization.…

Cryptography and Security · Computer Science 2022-12-29 Heung-No Lee , Young-Sik Kim , Dilbag Singh , Manjit Kaur

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 enforce contractual rights, obligations and prohibitions at run…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

Renewable energy has become a reality in the present and is being preferred by countries to become a considerable part of the central grid. With the increasing adoption of renewables it will soon become crucial to have a platform which…

We develop a formal model of Algorand stateless smart contracts (stateless ASC1.) We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish the security of some archetypal smart contracts. While doing…

Cryptography and Security · Computer Science 2021-01-27 Massimo Bartoletti , Andrea Bracciali , Cristian Lepore , Alceste Scalas , Roberto Zunino

The service paradigm as we know it has gone through a long journey of evolution and improvement, and it seems that a service-oriented vision to activities in general could serve as a potential platform for the global transition to a…

Computers and Society · Computer Science 2015-07-28 Reza Farrahi Moghaddam , Yves Lemieux , Mohamed Cheriet

Collateral is an item of value serving as security for the repayment of a loan. In blockchain-based loans, cryptocurrencies serve as the collateral. The high volatility of cryptocurrencies implies a serious barrier of entry with a common…

Computers and Society · Computer Science 2023-06-21 Tom Azoulay , Uri Carl , Ori Rottenstreich
‹ Prev 1 2 3 10 Next ›