Copertina

Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and $Σ$-Protocols as the First Step

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Inoué, Takao
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Logic in Computer Science Primary: 94A60, Secondary: 18F20, 68Q17
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
di: Inoué, Takao
Pubblicazione: (2026)

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

A Secure Communication Protocol for Remote Keyless Entry System with Adaptive Adjustment of Transmission Parameters
di: Guo, Jingjing, et al.
Pubblicazione: (2025)

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
di: Inoué, Takao
Pubblicazione: (2026)

Hyperfiniteness on Topological Ramsey Spaces
di: Bursics, Balázs, et al.
Pubblicazione: (2024)

Trace-based cryptanalysis of cyclotomic $R_{q,0}\times R_q$-PLWE for the non-split case
di: Blanco-Chacón, Iván, et al.
Pubblicazione: (2022)

An Improved ChaCha Algorithm Based on Quantum Random Number
di: Liu, Chao, et al.
Pubblicazione: (2025)

Recovering WPA-3 Network Password by Bypassing the Simultaneous Authentication of Equals Handshake using Social Engineering Captive Portal
di: Chadee, Kyle, et al.
Pubblicazione: (2024)

BlockA2A: Towards Secure and Verifiable Agent-to-Agent Interoperability
di: Zou, Zhenhua, et al.
Pubblicazione: (2025)

How Does Machine Learning Manage Complexity?
di: Fortnow, Lance
Pubblicazione: (2026)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
di: Peyrano, Ignacio
Pubblicazione: (2026)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
di: Marković, Petar, et al.
Pubblicazione: (2026)

Deterministic Cryptographic Seed Generation via Cyclic Modular Inversion over $\mathbb{Z}/3^p\mathbb{Z}$
di: Idowu, Michael A.
Pubblicazione: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
di: Jaakkola, Reijo, et al.
Pubblicazione: (2024)

Cryptographic Compression
di: Cooper, Joshua, et al.
Pubblicazione: (2025)

State of Passkey Authentication in the Wild: A Census of the Top 100K sites
di: Bhardwaj, Prince, et al.
Pubblicazione: (2026)

VulRG: Multi-Level Explainable Vulnerability Patch Ranking for Complex Systems Using Graphs
di: Jiang, Yuning, et al.
Pubblicazione: (2025)

Enhanced Rényi Entropy-Based Post-Quantum Key Agreement with Provable Security and Information-Theoretic Guarantees
di: Xu, Ruopengyu, et al.
Pubblicazione: (2025)

Detecting and Mitigating SQL Injection Vulnerabilities in Web Applications
di: Neupane, Sagar
Pubblicazione: (2025)

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

Fast Multiplication and the PLWE-RLWE Equivalence for an Infinite Family of Maximal Real Subfields of Cyclotomic Fields
di: Ahola, Joonas, et al.
Pubblicazione: (2024)

Cryptanalysis of PLWE based on zero-trace quadratic roots
di: Barbero-Lucas, Beatriz, et al.
Pubblicazione: (2023)

Folding Custom Gates with Verifier Input
di: Vark, Aard, et al.
Pubblicazione: (2024)

Day algebras
di: Robinson, Edmund, et al.
Pubblicazione: (2025)

There Are No Post-Quantum Weakly Pseudo-Free Families in Any Nontrivial Variety of Expanded Groups
di: Anokhin, Mikhail
Pubblicazione: (2023)

Adaptive Greedy Rejection Sampling
di: Flamich, Gergely, et al.
Pubblicazione: (2023)

Algorithmic randomness and the weak merging of computable probability measures
di: Huttegger, Simon M., et al.
Pubblicazione: (2025)

A Hybrid Deep Learning and Anomaly Detection Framework for Real-Time Malicious URL Classification
di: Khaled, Berkani, et al.
Pubblicazione: (2025)

An Internal Logic of Virtual Double Categories
di: Nasu, Hayato
Pubblicazione: (2024)

An Attack on $p$-adic Lattice Public-key Cryptosystems and Signature Schemes
di: Zhang, Chi
Pubblicazione: (2024)

Sample completion, structured correlation, and Netflix problems
di: Coregliano, Leonardo N., et al.
Pubblicazione: (2025)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
di: Inoué, Takao
Pubblicazione: (2026)

Symbolic Generation and Modular Embedding of High-Quality abc-Triples
di: Idowu, Michael A.
Pubblicazione: (2025)

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

Private Evolution Converges
di: González, Tomás, et al.
Pubblicazione: (2025)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
di: Dorochko, Leonid, et al.
Pubblicazione: (2026)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
di: Brossard, Jonathan
Pubblicazione: (2026)

Testing Stability and Robustness in Three Cryptographic Chaotic Systems
di: Anagnostopoulos, N. A., et al.
Pubblicazione: (2025)

Undefinability of Approximation of 2-to-2 Games
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
di: Wright, Craig S
Pubblicazione: (2025)