English
Related papers

Related papers: IVOA Recommendation: IVOA Credential Delegation Pr…

200 papers

When Agent A delegates to Agent B, which invokes Tool C on behalf of User X, no existing framework can answer: whose authorization chain led to this action, and where did it violate policy? This paper introduces SentinelAgent, a formal…

Cryptography and Security · Computer Science 2026-04-06 KrishnaSaiReddy Patil

Ensuring the privacy of votes in an election is crucial for the integrity of a democratic process. Often, voting power is delegated to representatives (e.g., in congress) who subsequently vote on behalf of voters on specific issues. This…

Cryptography and Security · Computer Science 2026-03-11 Kamilla Nazirkhanova , Vrushank Gunjur , X. Pilli Cruz-De Jesus , Dan Boneh

This document specifies a standard format for vocabularies based on the W3C's Resource Description Framework (RDF) and Simple Knowledge Organization System (SKOS). By adopting a standard and simple format, the IVOA will permit different…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Sebastien Derriere , Alasdair J G Gray , Norman Gray , Frederic V Hessman , Tony Linde , Andrea Preite Martinez , Rob Seaman , Brian Thomas

We introduce a credential verification protocol leveraging on Ciphertext-Policy Attribute-Based Encryption. The protocol supports anonymous proof of predicates and revocation through accumulators.

Cryptography and Security · Computer Science 2024-12-13 Giovanni Bartolomeo

We present DIO, a generic tool for observing inefficient and erroneous I/O interactions between applications and in-kernel storage systems that lead to performance, dependability, and correctness issues. DIO facilitates the analysis and…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-19 Tânia Esteves , Ricardo Macedo , Rui Oliveira , João Paulo

Directed signature scheme is applicable when the signed message contains information sensitive to the receiver, because only receiver can directly verify the signature and that he/she can prove its validity to any third party, whenever…

Cryptography and Security · Computer Science 2007-05-23 Sunder Lal , Manoj Kumar

Delegated quantum computing (DQC) enables limited clients to perform operations that are outside their capabilities remotely on a quantum server. Protocols for DQC are usually set up in the measurement-based quantum computation framework,…

Quantum Physics · Physics 2025-07-01 Fabian Wiesner , Jens Eisert , Anna Pappa

"Distributed Identity" refers to the transition from centralized identity systems using Decentralized Identifiers (DID) and Verifiable Credentials (VC) for secure and privacy-preserving authentications. With distributed identity, control of…

Cryptography and Security · Computer Science 2025-01-17 Sina Ahmadi

Remote attestation (RA) authenticates code running in trusted execution environments (TEEs), allowing trusted code to be deployed even on untrusted hosts. However, trust relationships established by one component in a distributed…

Cryptography and Security · Computer Science 2022-02-02 Haofan Zheng , Owen Arden

The Project PAI Data Protocol ("PAI Data") is a specification that extends the Project PAI Blockchain Protocol to include a method of securing and provisioning access to arbitrary data. In the context of PAI Coin Development Proposal (PDP)…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-01 Jincheng Du , Dan Fang , Mark Harvilla

This manuscript presents teaching and curriculum design for Information Technology classes. Today, students demand hands-on activities for the newest technologies. It is feasible to satisfy this appetite for exciting education by employing…

Computers and Society · Computer Science 2014-04-09 Timur Mirzoev

DevOps pipeline is a set of automated tasks or processes or jobs that has tasks assigned to execute automatically that allow the Development team and Operations team to collaborate for building and deployment of the software or services.…

Software Engineering · Computer Science 2025-03-21 Adarsh Saxena , Sudhakar Singh , Shiv Prakash , Tiansheng Yang , Rajkumar Singh Rathore

Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-state systems. Proofs are generated using…

Cryptography and Security · Computer Science 2021-05-14 Lawrence C. Paulson

In this paper, we proposed an authentication method according to Diffie-Hellman. First, we introduce different methods for authentication in IEEE.802.16 then we proposed an authentication method according to Diffie-Hellman and in the last…

Cryptography and Security · Computer Science 2012-01-23 Mohammad Zabihi , Ramin Shaghaghi , Mohammad Esmail kalantari

A typical user interacts with many digital services nowadays, providing these services with their data. As of now, the management of privacy preferences is service-centric: Users must manage their privacy preferences according to the rules…

Cryptography and Security · Computer Science 2024-04-22 Rodrigo Falcão , Arghavan Hosseinzadeh

Modern operating systems such as Android, iOS, Windows Phone, and Chrome OS support a cooperating program abstraction. Instead of placing all functionality into a single program, programs cooperate to complete tasks requested by users.…

Cryptography and Security · Computer Science 2018-08-17 Giuseppe Petracca , Jens Grossklags , Patrick McDaniel , Trent Jaeger

Interoperation for data sharing between permissioned blockchain networks relies on networks' abilities to independently authenticate requests and validate proofs accompanying the data; these typically contain digital signatures. This…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-16 Bishakh Chandra Ghosh , Venkatraman Ramakrishna , Chander Govindarajan , Dushyant Behl , Dileban Karunamoorthy , Ermyas Abebe , Sandip Chakraborty

The table access protocol (TAP) defines a service protocol for accessing general table data, including astronomical catalogs as well as general database tables. Access is provided for both database and table metadata as well as for actual…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Patrick Dowler , Guy Rixon , Doug Tody

Redactable signature schemes and sanitizable signature schemes are methods that permit modification of a given digital message and retain a valid signature. This can be applied to decentralized identity systems for delegating identity…

Cryptography and Security · Computer Science 2023-10-27 Bryan Kumara , Mark Hooper , Carsten Maple , Timothy Hobson , Jon Crowcroft

In this paper, we propose and evaluate a distributed protocol to manage trust diffusion in ad hoc networks. In this protocol, each node i maintains a \trust value" about an other node j which is computed both as a result of the exchanges…

Networking and Internet Architecture · Computer Science 2009-01-22 Michel Morvan , Sylvain Sené