Copertina

Folding Custom Gates with Verifier Input

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Vark, Aard, Zhang, Yan X
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Logic in Computer Science 94A60
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and $Σ$-Protocols as the First Step
di: Inoué, Takao
Pubblicazione: (2026)

Secrecy and Verifiability: An Introduction to Electronic Voting
di: Keeler, Paul, et al.
Pubblicazione: (2026)

Notes on Small Private Key Attacks on Common Prime RSA
di: Zheng, Mengce
Pubblicazione: (2023)

From Public-Key Linting to Operational Post-Quantum X.509 Assurance for ML-KEM and ML-DSA: Registry-Driven Policy, Mutation-Based Evaluation, and Import Validation
di: Jiménez, José Luis Delgado
Pubblicazione: (2026)

Worst--Case to Average--Case Reductions for SIS over integers
di: Draziotis, Konstantinos A., et al.
Pubblicazione: (2026)

Cryptanalysis of Gleeok-128
di: Chen, Siwei, et al.
Pubblicazione: (2025)

Message Recovery Attack in NTRU via Knapsack
di: Poimenidou, Eirini, et al.
Pubblicazione: (2025)

Perfect message authentication codes are robust to small deviations from uniform key distributions
di: Ryabko, Boris
Pubblicazione: (2025)

A Comparative Performance Evaluation of Kyber, sntrup761, and FrodoKEM for Post-Quantum Cryptography
di: Ünsal, Samet
Pubblicazione: (2025)

On the Context-Hiding Property of Shamir-Based Homomorphic Secret Sharing
di: Feng, Shuai, et al.
Pubblicazione: (2025)

Gophy: Novel Proof-of-Useful-Work blockchain architecture for High Energy Physics
di: Hoffmann, Felix, et al.
Pubblicazione: (2024)

Selmer-Inspired Elliptic Curve Generation
di: Bhowmik, Awnon
Pubblicazione: (2025)

Security Analysis of Integer Learning with Errors with Rejection Sampling
di: Yates, Kyle, et al.
Pubblicazione: (2025)

DM-RSA: An Extension of RSA with Dual Modulus
di: Ramamonjy, Andriamifidisoa, et al.
Pubblicazione: (2025)

A systematic review of secure coded caching
di: Ng, S. -L., et al.
Pubblicazione: (2026)

Post-Quantum Cryptography: An Analysis of Code-Based and Lattice-Based Cryptosystems
di: Meyer, Alexander
Pubblicazione: (2025)

Post-Quantum Secure Decentralized Random Number Generation Protocol with Two Rounds of Communication in the Standard Model
di: Minh, Pham Nhat, et al.
Pubblicazione: (2025)

Correctness of Extended RSA Public Key Cryptosystem
di: Chang, Dar-jen, et al.
Pubblicazione: (2025)

Pulsar Consensus
di: Afach, Samer, et al.
Pubblicazione: (2024)

Limitations of the decoding-to-LPN reduction via code smoothing
di: Pathegama, Madhura, et al.
Pubblicazione: (2024)

All graph state verification protocols are composably secure
di: Colisson, Léo, et al.
Pubblicazione: (2024)

A Formally Verified Lightning Network
di: Fabiański, Grzegorz, et al.
Pubblicazione: (2025)

Ciphertext Malleability in Lattice-Based KEMs as a Countermeasure to Side Channel Analysis
di: Berthet, Pierre-Augustin
Pubblicazione: (2024)

On additive differential probabilities of the composition of bitwise exclusive-or and a bit rotation
di: Kolomeec, Nikolay, et al.
Pubblicazione: (2023)

On Compression Functions over Groups with Applications to Homomorphic Encryption
di: Nuida, Koji
Pubblicazione: (2022)

A Survey of Interactive Verifiable Computing: Utilizing Low-degree Polynomials
di: Wang, Angold
Pubblicazione: (2025)

Quantum-Safe Hybrid Key Exchanges with KEM-Based Authentication
di: Battarbee, Christopher, et al.
Pubblicazione: (2024)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
di: Iskander, Ray
Pubblicazione: (2026)

Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

CSI-IBBS: Identity-Based Blind Signature using CSIDH
di: Bhoumik, Soumya, et al.
Pubblicazione: (2025)

BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
di: Liu, Zhaoxiang, et al.
Pubblicazione: (2026)

Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
di: Yin, Chao, et al.
Pubblicazione: (2026)

Lossy Cryptography from Code-Based Assumptions
di: Dao, Quang, et al.
Pubblicazione: (2024)

Quadratic Modelings of Syndrome Decoding
di: Caminata, Alessio, et al.
Pubblicazione: (2024)

KyFrog: A High-Security LWE-Based KEM Inspired by ML-KEM
di: Melo, Victor Duarte, et al.
Pubblicazione: (2025)

Distributed Symmetric Key Establishment: A scalable, quantum-proof key distribution system
di: Lo, Hoi-Kwong, et al.
Pubblicazione: (2022)

Verifiable Boosted Tree Ensembles
di: Calzavara, Stefano, et al.
Pubblicazione: (2024)

A Post Quantum Key Agreement Protocol Based on a Modified Matrix Power Function over a Rectangular Matrices Semiring
di: Hecht, Juan Pedro, et al.
Pubblicazione: (2023)

A generalization of Burmester-Desmedt GKE based on a non-abelian finite group action
di: Portela, Daniel Camazón, et al.
Pubblicazione: (2024)

On APN Exponents and the Differential and Boomerang Properties of Binomials in Characteristic 3
di: Koo, Namhun, et al.
Pubblicazione: (2026)