Cryptology ePrint Archive striveceo.github.io

Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges

eprint.iacr.org·12w

Tight Reductions for SIS-with-Hints Assumptions with Applications to Anonymous Credentials

eprint.iacr.org·12w

Zero-Knowledge Proof-Carrying Data from Accumulation Schemes

eprint.iacr.org·12w

Collusion-Minimized TLS Attestation Protocol for Decentralized Applications

eprint.iacr.org·12w

Beyond the Linear Barrier: Secret Sharing for Evolving (Weighted) Threshold Access Structures with Poly-logarithmic Share Size

eprint.iacr.org·12w

Blockchain Stacking Fraud and Deterrence

eprint.iacr.org·12w

OpenAC: Open Design for Transparent and Lightweight Anonymous Credentials

eprint.iacr.org·13w

PAC-Private Databases

eprint.iacr.org·13w

RAGtime-PIANO: Efficient Secure Remote RAG

eprint.iacr.org·13w

Analysis and Vulnerabilities in zkLogin

eprint.iacr.org·13w

Optimizing Differential Privacy in Federated Analytics under Known Input Distributions

eprint.iacr.org·13w

Cavefish: Communication-Optimal Light Client Protocol for UTxO Ledgers

eprint.iacr.org·13w

ECHO: Efficient Covertly-Secure Three-party Computation with Applications to Private Machine Learning

eprint.iacr.org·13w

Orbit: Optimizing Rescale and Bootstrap Placement with Integer Linear Programming Techniques for Secure Inference

eprint.iacr.org·13w

zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof

eprint.iacr.org·13w

ELLMo: Packing- and Depth-Aware Encrypted Transformer Inference

eprint.iacr.org·13w

Three-Round (Robust) Threshold ECDSA from Threshold CL Encryption

eprint.iacr.org·14w

Computing in a Safe House: Accountable Universally Composable Asynchronous Secure Distributed Computing

eprint.iacr.org·14w

Nudge: A Private Recommendations Engine

eprint.iacr.org·14w

gcVM: Publicly Auditable MPC via Garbled Circuits with Applications to Private EVM-Compatible Computation

eprint.iacr.org·14w

Log in to enable infinite scrolling