中文
相关论文

相关论文: Phoenix: A Formally Verified Regenerating Vault

200 篇论文

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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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…

密码学与安全 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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.…

分布式、并行与集群计算 · 计算机科学 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,…