English
Related papers

Related papers: Phoenix: A Formally Verified Regenerating Vault

200 papers

Banking as an essential service can be hard to access in remote, rural regions where the network connectivity is intermittent. Although micro-banking has been made possible by SMS or USSD messages in some places, their security flaws and…

Modern software engineering trends towards Cloud-native software development by international teams of developers. Cloud-based version management services, such as GitHub, are used for the source code and other artifacts created during the…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-21 Tobias J. Bauer , Andreas Aßmuth

This work presents a concept and implementation for the secure storage and transfer of quality-relevant data of milled workpieces from online-quality assurance processes enabled by real-time simulation models. It utilises Non-Fungible…

Cryptography and Security · Computer Science 2026-02-12 Nicolai Maisch , Shengjian Chen , Alexander Robertus , Samed Ajdinović , Armin Lechler , Alexander Verl , Oliver Riedel

Ethereum smart contracts are automated decentralized applications on the blockchain that describe the terms of the agreement between buyers and sellers, reducing the need for trusted intermediaries and arbitration. However, the deployment…

Cryptography and Security · Computer Science 2021-03-24 Oliver Lutz , Huili Chen , Hossein Fereidooni , Christoph Sendner , Alexandra Dmitrienko , Ahmad Reza Sadeghi , Farinaz Koushanfar

The fuzzy vault is an error tolerant authentication method that ensures the privacy of the stored reference data. Several publications have proposed the application of the fuzzy vault to fingerprints, but the results of subsequent analyses…

Cryptography and Security · Computer Science 2011-11-30 Johannes Merkle , Heinrich Ihmor , Ulrike Korte , Matthias Niesing , Michael Schwaiger

Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns…

Cryptography and Security · Computer Science 2018-08-27 Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais , Florian Buenzli , Martin Vechev

Nowadays, academic certificates are still widely issued in paper format. Traditional certificate verification is a lengthy, manually intensive, and sometimes expensive process. In this paper, we propose a novel NFT-based certificate…

Cryptography and Security · Computer Science 2022-02-22 Xiongfei Zhao , Yain-Whar Si

Consensus mechanism is the core technology for blockchain to ensure that transactions are executed in sequence. It also determines the decentralization, security, and efficiency of blockchain. Existing mechanisms all have certain…

Cryptography and Security · Computer Science 2025-01-03 Chenxi Xiong , Ting Yang , Yu Wang , Bing Dong

Ethereum Smart Contracts based on Blockchain Technology (BT) enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum Smart Contracts are programs that are deployed as…

Cryptography and Security · Computer Science 2022-03-03 Noama Fatima Samreen , Manar H. Alalfi

The majority of systems rely on user authentication on passwords, but passwords have so many weaknesses and widespread use that easily raise significant security concerns, regardless of their encrypted form. Users hold the same password for…

Cryptography and Security · Computer Science 2021-01-22 Vassilis Papaspirou , Leandros Maglaras , Mohamed Amine Ferrag , Ioanna Kantzavelou , Helge Janicke , Christos Douligeris

This paper presents a timing attack on the FIDO2 (Fast IDentity Online) authentication protocol that allows attackers to link user accounts stored in vulnerable authenticators, a serious privacy concern. FIDO2 is a new standard specified by…

Cryptography and Security · Computer Science 2022-05-18 Michal Kepkowski , Lucjan Hanzlik , Ian Wood , Mohamed Ali Kaafar

Several recent works have proposed and implemented cryptography as a means to preserve privacy and security of patients health data. Nevertheless, the weakest point of electronic health record (EHR) systems that relied on these…

Computers and Society · Computer Science 2017-08-09 Adebayo Omotosho , Justice Emuoyibofarhe , Christoph Meinel

As blockchain technology and cryptocurrency become increasingly mainstream, ever-increasing energy costs required to maintain the computational power running these decentralized platforms create a market for more energy-efficient hardware.…

Blockchains offer a useful abstraction: a trustworthy, decentralized log of totally ordered transactions. Traditional blockchains have problems with scalability and efficiency, preventing their use for many applications. These limitations…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-20 Isaac Sheff , Xinwen Wang , Andrew C. Myers , Robbert van Renesse

In the current paradigm of digital personalized services, the centralized management of personal data raises significant privacy concerns, security vulnerabilities, and diminished individual autonomy over sensitive information. Despite…

Cryptography and Security · Computer Science 2025-09-12 Osama Zafar , Mina Namazi , Yuqiao Xu , Youngjin Yoo , Erman Ayday

Bitcoin and other cryptocurrencies have surged in popularity over the last decade. Although Bitcoin does not claim to provide anonymity for its users, it enjoys a public perception of being a `privacy-preserving' financial system. In…

Cryptography and Security · Computer Science 2017-01-18 Shaileshh Bojja Venkatakrishnan , Giulia Fanti , Pramod Viswanath

Credential theft and remote attacks are the most serious threats to user authentication mechanisms. The crux of these problems is that we cannot control such behaviors. However, if a password does not contain user secrets, stealing it is…

Cryptography and Security · Computer Science 2024-06-03 Suyun Borjigin

With the recent rise of cryptocurrencies' popularity, the security and management of crypto-tokens have become critical. We have witnessed many attacks on users and providers, which have resulted in significant financial losses. To remedy…

Cryptography and Security · Computer Science 2023-12-04 Ivan Homoliak , Dominik Breitenbacher , Ondrej Hujnak , Pieter Hartel , Alexander Binder , Pawel Szalachowski

Classic BFT consensus protocols guarantee safety and liveness for all clients if fewer than one-third of replicas are faulty. However, in applications such as high-value payments, some clients may want to prioritize safety over liveness.…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-05 Joachim Neu , Srivatsan Sridhar , Lei Yang , David Tse

The advent of blockchain technology has led to a massive wave of different decentralized ledger technology (DLT) solutions. Such projects as Bitcoin and Ethereum have shifted the paradigm of how to transact value in a decentralized manner,…

Cryptography and Security · Computer Science 2021-11-29 Dato Kavazi , Victor Smirnov , Sasha Shilina , MOZGIII , MingDong Li , Rafael Contreras , Hardik Gajera , Dmitry Lavrenov , the Humanode Core