Takuma Imamura

activity

20152026

most citedNonstandard methods in large-scale topology

4 citations · 11 across the 17 of their papers we have counts for

collaborators

Showing 2026Show all

4 papers · 1 filter

cs.CR2026

Attestable Audit: Property-Based Attestation for Proprietary Workloads without Artifact Disclosure

Takuma Imamura

Trusted Execution Environments (TEEs) prove the integrity of code and data to a remote peer through remote attestation: the TEE issues an attestation report by signing, with a hard…

math.LO2026

Bluebirds and mockingbirds cannot produce a fixed-point combinator

Takuma Imamura

Let $B$ be the bluebird combinator with reduction rule $B x y z \to_{w} x (y z)$ , let $M$ be the mockingbird combinator with reduction rule $M x \to_{w} xx$ , and let $I$ be th…

cs.CR2026

Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem

Takuma Imamura

Remote attestation is a procedure by which a system (such as a Trusted Execution Environment) proves its own configuration to a remote peer. Here, the configuration includes the me…

math.LO2026

Hallucination, abstention, and computable inseparability

Takuma Imamura

The impossibility of eliminating hallucination, understood here as incorrect definite answers, in sufficiently expressive yes-or-no formal domains is an immediate consequence of cl…