Takao Inoué

Unlock a deeper understanding of cryptographic security by bridging the gap between torsor-based reasoning and the power of sheaf and topos theory.

TAPO-DL reimagines description logic with procedural and oracle-based extensions, offering a novel framework for modeling information behavior as a dynamic process of interaction and validation.

Cryptographic security gets a geometric makeover: zero-knowledge proofs are now torsors in a topos, revealing a surprising connection between abstract algebra and attacker models.