Yusuke Kawamoto

Available identifiers

Publication	Date of Publication	Type
Spectral invariants over the integers	2024-11-18	Paper
Hofer geometry via toric degeneration	2024-10-28	Paper
Isolated hypersurface singularities, spectral invariants, and quantum cohomology	2024-05-30	Paper
Formalizing statistical causality via modal logic	2024-05-29	Paper
Towards Logical Specification of Statistical Machine Learning	2024-03-14	Paper
Spectral invariants over the integers	2023-10-29	Paper
Hybrid statistical estimation of mutual information for quantifying information flow	2020-01-03	Paper
Leakage and protocol composition in a game-theoretic perspective	2019-09-16	Paper
Statistical Epistemic Logic	2019-07-12	Paper
Hybrid statistical estimation of mutual information and its application to information flow	2019-05-10	Paper
Information leakage games	2017-10-27	Paper
On the Compositionality of Quantitative Information Flow	2017-10-12	Paper
Computational and symbolic anonymity in an unbounded network	2013-11-19	Paper
Efficient Padding Oracle Attacks on Cryptographic Hardware	2012-09-25	Paper
Computational Soundness of Indistinguishability Properties without Computable Parsing	2012-06-29	Paper
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption	2009-06-09	Paper
Hofer geometry via toric degeneration	N/A	Paper
Isolated hypersurface singularities, spectral invariants, and quantum cohomology	N/A	Paper
Donaldson divisors and spectral invariants	N/A	Paper

This page was built for person: Yusuke Kawamoto