We have 4 of 13 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work develops a formal semantics for a core CV quantum programming language, and sound verification methods for program correctness, and chooses closed positive quadratic forms as semantic predicates, representing finite expectations, domains of finiteness, and infinite penalties in one ordered object.
This work presents a drop-in KEM-based user-authentication method for SSH that replaces client public-key signatures with a session-bound challenge-response proof, and shows that KEM-based authentication is competitive with compact signature-based authentication under representative network settings, while reducing med...
This work introduces two complementary synthesis-oriented existence-checking methods: a rewrite-based normalization algorithm (RwUn) and a template-based reasoning system (TpUn) that guarantees uncomputation through structured Store-Use patterns.
KEMTLCP is proposed, a post-quantum secure variant of TLCP that leverages key encapsulation mechanisms (KEMs) for both key exchange and authentication while preserving TLCP’s architectural principles through a novel explicit authentication mechanism.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
