中文
相关论文

相关论文: Certifying Digitally Issued Diplomas

200 篇论文

A computing device typically identifies itself by exhibiting unique measurable behavior or by proving its knowledge of a secret. In both cases, the identifying device must reveal information to a verifier. Considerable research has focused…

密码学与安全 · 计算机科学 2025-11-11 Mihael Liskij , Xuhua Ding , Gene Tsudik , David Basin

Blockchain technology has experienced substantial growth in recent years, yet the diversity of blockchain applications has been limited. Blockchain provides many desirable features for applications, including being append-only, immutable,…

密码学与安全 · 计算机科学 2023-05-09 Collin Connors , Dilip Sarkar

The Sybil attack plagues all peer-to-peer systems, and modern open distributed ledgers employ a number of tactics to prevent it from proof of work, or other resources such as space, stake or memory, to traditional admission control in…

密码学与安全 · 计算机科学 2019-07-01 Alberto Sonnino , George Danezis

Naor, Parter, and Yogev (SODA 2020) have recently demonstrated the existence of a \emph{distributed interactive proof} for planarity (i.e., for certifying that a network is planar), using a sophisticated generic technique for constructing…

分布式、并行与集群计算 · 计算机科学 2020-05-13 Laurent Feuilloley , Pierre Fraigniaud , Ivan Rapaport , Éric Rémila , Pedro Montealegre , Ioan Todinca

Credential fraud is a widespread practice that undermines investment and confidence in higher education systems and bears significant economic and social costs. Legacy credential verification systems are typically time-consuming, costly,…

密码学与安全 · 计算机科学 2019-12-17 Aamna Tariq , Hina Binte Haq , Syed Taha Ali

In its 14 years, distributed ledger technology has attracted increasing attention, investments, enthusiasm, and user base. However, ongoing doubts about its usefulness and recent losses of trust in prominent cryptocurrencies have fueled…

软件工程 · 计算机科学 2023-07-19 Tomas Bueno Momčilović , Matthias Buchinger , Dian Balta

In the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distributed certificates which can be verified locally. However,…

分布式、并行与集群计算 · 计算机科学 2016-05-13 Alkida Balliu , Gianlorenzo D'Angelo , Pierre Fraigniaud , Dennis Olivetti

Credit Guarantee Schemes (CGSs) are crucial in mitigating SMEs' financial constraints. However, they are renownedly affected by critical shortcomings, such as a lack of financial sustainability and operational efficiency. Distributed Ledger…

计算工程、金融与科学 · 计算机科学 2026-02-19 Sabrina Leo , Andrea Delle Foglie , Luca Barbaro , Edoardo Marangone , Ida Claudia Panetta , Claudio Di Ciccio

We propose LazyLedger, a design for distributed ledgers where the blockchain is optimised for solely ordering and guaranteeing the availability of transaction data. Responsibility for executing and validating transactions is shifted to only…

密码学与安全 · 计算机科学 2019-06-11 Mustafa Al-Bassam

The Covid-19 pandemic has made individuals and organizations to rethink the way of handling identity verification and credentials sharing particularly in quarantined situations. In this study, we investigate the inefficiencies of…

密码学与安全 · 计算机科学 2020-06-24 Mehmet Aydar , Serkan Ayvaz , Salih Cemil Cetin

Blockchain has proven to be an emerging technology in the digital world, changing the way everyone thinks about data security and bringing efficiency to several industries. It has already been applied to a wide range of applications, from…

密码学与安全 · 计算机科学 2023-02-09 Md. Mijanur Rahman , Md Tanzinul Kabir Tonmoy , Saifur Rahman Shihab , Riya Farhana

The problem of reliably certifying the outcome of a computation performed by a quantum device is rapidly gaining relevance. We present two protocols for a classical verifier to verifiably delegate a quantum computation to two…

量子物理 · 物理学 2020-01-13 Andrea Coladangelo , Alex Grilo , Stacey Jeffery , Thomas Vidick

As we observe a trend towards the recentralisation of the Internet, this paper raises the question of guaranteeing an everlasting decentralisation. We introduce the properties of strong and soft uncentralisability in order to describe…

密码学与安全 · 计算机科学 2018-01-25 Lionel Dricot , Olivier Pereira

Documents are largely stored and shared digitally. Yet, digital documents are still commonly signed using (copies of) handwritten signatures, which are sensitive to fraud. Though secure, cryptography-based signature solutions exist, they…

人机交互 · 计算机科学 2024-10-10 Yorick Last , Jorrit Geels , Hanna Schraffenberger

Derivatives are a special type of financial contracts used to hedge risks or to speculate on the market fluctuations. In order to avoid ambiguities and misinterpretations, several domain specific languages (DSLs) for specifying such…

计算机科学中的逻辑 · 计算机科学 2020-05-29 Andrei Arusoaie

In many applications, identity management (IdM) is used to associate a subject public key with an endpoint at which the subject can be contacted (telephone number, email, etc.). In decentralized applications based on distributed ledger…

分布式、并行与集群计算 · 计算机科学 2021-10-06 Diego Pennino , Maurizio Pizzonia , Andrea Vitaletti , Marco Zecchini

The introduction of novel technology has oftentimes changed the concept of ownership. Non-fungible tokens are a recent example, as they allow a decentralized way to generate and verify proof of ownership via distributed ledger technology.…

计算机与社会 · 计算机科学 2022-06-06 Amaury Trujillo

The Transport Layer Security (TLS) protocol and its public-key infrastructure (PKI) are widely used in the Internet to achieve secure communication. Validating domain ownership by trusted certification authorities (CAs) is a critical step…

密码学与安全 · 计算机科学 2020-03-31 Pawel Szalachowski

Quantum networks consist of various quantum technologies, spread across vast distances, and involve various users at the same time. Certifying the functioning and efficiency of the individual components is a task that is well studied and…

量子物理 · 物理学 2025-01-27 Aby Philip , Mark M. Wilde

Federated Identity Management has proven its worth by offering economic benefits and convenience to Service Providers and users alike. In such federations, the Identity Provider (IdP) is the solitary entity responsible for managing user…

密码学与安全 · 计算机科学 2023-05-02 Mirza Kamrul Bashar Shuhan , Syed Md. Hasnayeen , Tanmoy Krishna Das , Md. Nazmus Sakib , Md Sadek Ferdous