Takao Inou'e

activity

20202026

most citedOn Blass translation for Leśniewski's propositional ontology and modal logics

2 citations · 4 across the 23 of their papers we have counts for

collaborators

Showing cs.CRShow all

1 paper · 1 filter

cs.CR2026

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

Takao Inoué

Cryptographic security is traditionally formulated using game-based or simulation-based definitions. In this paper, we propose a structural reformulation of cryptographic security…

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

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