English
Related papers

Related papers: Phoenix: A Formally Verified Regenerating Vault

200 papers

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

Programming Languages · Computer Science 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

End-user-devices in the current cellular ecosystem are prone to many different vulnerabilities across different generations and protocol layers. Fixing these vulnerabilities retrospectively can be expensive, challenging, or just infeasible.…

Cryptography and Security · Computer Science 2021-01-05 Mitziu Echeverria , Zeeshan Ahmed , Bincheng Wang , M. Fareed Arif , Syed Rafiul Hussain , Omar Chowdhury

The average cryptocurrency user today faces a difficult choice between centralized custodial wallets, which are notoriously prone to spontaneous collapse, or cumbersome self-custody solutions, which if not managed properly can cause a total…

Cryptography and Security · Computer Science 2023-08-31 Vivek Nair , Dawn Song

Cryptocurrency blockchain networks safeguard digital assets using cryptographic keys, with wallets playing a critical role in generating, storing, and managing these keys. Wallets, typically categorized as hot and cold, offer varying…

Cryptography and Security · Computer Science 2025-12-11 Joel Poncha Lemayian , Ghyslain Gagnon , Kaiwen Zhang , Pascal Giard

The blockchain ecosystem, particularly with the rise of Web3 and Non-Fungible Tokens (NFTs), has experienced a significant increase in users and applications. However, this expansion is challenged by the need to connect early adopters with…

Cryptography and Security · Computer Science 2024-04-08 Hiroki Watanabe , Kohei Ichihara , Takumi Aita

Deep learning for vulnerability detection has shown promising results on early benchmarks, but recent evaluations reveal catastrophic degradation: models achieving F1 > 0.68 on legacy datasets collapse to 0.031 under strict deduplication.…

Cryptography and Security · Computer Science 2026-04-22 Yongchao Wang , Zhiqiu Huang

The disruptive technology of blockchain can deliver secure solutions without the need for a central authority. In blockchain protocols, assets that belong to a participant are controlled through the private key of an asymmetric key pair…

Cryptography and Security · Computer Science 2020-06-26 Mehmet Aydar , Salih Cemil Cetin , Serkan Ayvaz , Betul Aygun

The rapid growth of Decentralized Finance (DeFi) boosts the Ethereum ecosystem. At the same time, attacks towards DeFi applications (apps) are increasing. However, to the best of our knowledge, existing smart contract vulnerability…

Cryptography and Security · Computer Science 2021-05-03 Siwei Wu , Dabao Wang , Jianting He , Yajin Zhou , Lei Wu , Xingliang Yuan , Qinming He , Kui Ren

Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurrencies have been distributed on blockchains, while hundreds…

Cryptography and Security · Computer Science 2020-06-12 Ru Ji , Ningyu He , Lei Wu , Haoyu Wang , Guangdong Bai , Yao Guo

The number of attacks and accidents leading to significant losses of crypto-assets is growing. According to Chainalysis, in 2021, approx. $14 billion has been lost due to various incidents, and this number is dominated by Decentralized…

Logic in Computer Science · Computer Science 2022-03-16 Eske Hoy Nielsen , Danil Annenkov , Bas Spitters

Blockchain Technology has revolutionized Finance and Technology with its secure, decentralized, and trust-less methodologies of data management. In a world where asset value fluctuations are unprecedented, it has become increasingly…

Cryptography and Security · Computer Science 2025-02-11 Aaryan Sinha , Raja Muthalagu , Pranav Pawar , Alavikunhu Panthakkan , Shadi Atalla

Blockchain is a distributed ledger, which is protected against malicious modifications by means of cryptographic tools, e.g. digital signatures and hash functions. One of the most prominent applications of blockchains is cryptocurrencies,…

Cryptography and Security · Computer Science 2019-12-20 E. O. Kiktenko , M. A. Kudinov , A. K. Fedorov

Decentralized finance, i.e., DeFi, has become the most popular type of application on many public blockchains (e.g., Ethereum) in recent years. Compared to the traditional finance, DeFi allows customers to flexibly participate in diverse…

Cryptography and Security · Computer Science 2021-03-05 Bin Wang , Han Liu , Chao Liu , Zhiqiang Yang , Qian Ren , Huixuan Zheng , Hong Lei

Blockchain is a decentralized, distributed ledger technology that ensures transparency, security, and immutability through cryptographic techniques. However, advancements in quantum computing threaten the security of classical cryptographic…

Cryptography and Security · Computer Science 2026-01-14 Nicholas J. C. Papadopoulos

With the rise of decentralized finance, fiat-to-cryptocurrency exchange platforms have become popular entry points into the cryptocurrency ecosystem. However, these platforms frequently fail to ensure adequate privacy protection, as…

Cryptography and Security · Computer Science 2026-01-26 Shaoyu Li , Hexuan Yu , Md Mohaimin Al Barat , Yang Xiao , Y. Thomas Hou , Wenjing Lou

Nowadays, there is a plethora of services that are provided and paid for online, like video streaming subscriptions, car or parking sharing, purchasing tickets for events, etc. Online services usually issue tokens directly related to the…

Cryptography and Security · Computer Science 2022-02-21 Xavier Salleras , Sergi Rovira , Vanesa Daza

A non-fungible token (NFT) references a data store location, typically, using a URL or another unique identifier. At the minimum, a NFT is expected to guarantee ownership and control over the tokenised asset. However, information stored on…

Cryptography and Security · Computer Science 2023-01-18 Sarad Venugopalan , Heiko Aydt

Authcoin is an alternative approach to the commonly used public key infrastructures such as central authorities and the PGP web of trust. It combines a challenge response-based validation and authentication process for domains,…

Cryptography and Security · Computer Science 2016-09-19 Benjamin Leiding , Clemens H. Cap , Thomas Mundt , Samaneh Rashidibajgan

Block-chain world is very dynamic and there is need for strong governance and underlying technology architecture to be robust to face challenges. This paper considers Ethereum, a leading block chain. We deep dive into the nature of this…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-21 G. Hall , M. Mansi , I. Makrant

Decentralized finance (DeFi) in Ethereum is a financial ecosystem built on the blockchain that has locked over 200 billion USD until April 2022. All transaction information is transparent and open when transacting through the DeFi protocol,…

Cryptography and Security · Computer Science 2022-05-20 Wenkai Li , Jiuyang Bu , Xiaoqi Li , Xianyi Chen
‹ Prev 1 2 3 10 Next ›