English
Related papers

Related papers: Certifying Digitally Issued Diplomas

200 papers

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…

Cryptography and Security · Computer Science 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,…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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,…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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,…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Computational Engineering, Finance, and Science · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Quantum Physics · Physics 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…

Cryptography and Security · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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.…

Computers and Society · Computer Science 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…

Cryptography and Security · Computer Science 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…

Quantum Physics · Physics 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…

Cryptography and Security · Computer Science 2023-05-02 Mirza Kamrul Bashar Shuhan , Syed Md. Hasnayeen , Tanmoy Krishna Das , Md. Nazmus Sakib , Md Sadek Ferdous