🪪 Verifiable Credentials - shanesveller · Scour

Source Known Identifiers: A Three-Tier Identity System for Distributed Applications 🎭Anonymous Credentials

arxiv.org·6d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 🔐Post-Quantum Crypto

eprint.iacr.org·2d

Signature Placement in Post-Quantum TLS Certificate Hierarchies: An Experimental Study of ML-DSA and SLH-DSA in TLS 1.3 Authentication 🔐Post-Quantum Crypto

arxiv.org·23h

An Efficient Identity-Based Blind Signature Scheme from SM9 ✍️Threshold Signatures

eprint.iacr.org·1d

Verifiable Divide-and-Conquer 🔧Constraint Solvers

eprint.iacr.org·3d

Merkle Tree Certificate Post-Quantum PKI for Kubernetes and Cloud-Native 5G/B5G Core 🔐Post-Quantum Crypto

arxiv.org·1d

VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems 🔐Zero-knowledge

eprint.iacr.org·1d

Batch Verification of Modified ECDSA Signatures ✍️Threshold Signatures

eprint.iacr.org·3d

A Faceted Classification of Authenticator-Centric Authentication Techniques 🔑Functional Encryption

arxiv.org·1d

Vault: Decentralized Storage Made Durable 🌐Distributed Consensus

arxiv.org·1d

Random Robust Secret Sharing with Perfect Privacy and its Applications 🔐Zero-knowledge

eprint.iacr.org·5d

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL 🌐Distributed Consensus

arxiv.org·1d

Toward Provable Security in Anamorphic Extension: New Constructions and Analysis 🔑Functional Encryption

eprint.iacr.org·6d

Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification 🔐Zero-knowledge

arxiv.org·1d

Compressed Key Exchange Protocol from Orientations of Large Discriminant Using AVX-512 #️⃣BLAKE3

eprint.iacr.org·1d

Ordered Multi-Signatures from the DL Assumption ✍️Threshold Signatures

eprint.iacr.org·6d

Trustless Provenance Trees: A Game-Theoretic Framework for Operator-Gated Blockchain Registries #️⃣BLAKE3

arxiv.org·1d

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems 🔐Zero-knowledge

arxiv.org·1d

Design and Implementation of an Open-Source Security Framework for Cloud Infrastructure 🔑Cryptography

arxiv.org·1d

ContractShield: Bridging Semantic-Structural Gaps via Hierarchical Cross-Modal Fusion for Multi-Label Vulnerability Detection in Obfuscated Smart Contracts 🔐OPAQUE

arxiv.org·2d

Loading more...