Yusuke Kawamoto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Spectral invariants over the integers Advances in Mathematics	2024-11-18	Paper
Hofer geometry via toric degeneration Mathematische Annalen	2024-10-28	Paper
Isolated hypersurface singularities, spectral invariants, and quantum cohomology Journal für die Reine und Angewandte Mathematik	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 Formal Aspects of Computing	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 JSIAM Letters	2013-11-19	Paper
Efficient padding oracle attacks on cryptographic hardware Lecture Notes in Computer Science	2012-09-25	Paper
Computational soundness of indistinguishability properties without computable parsing Information Security Practice and Experience	2012-06-29	Paper
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption Formal to Practical Security	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

Research outcomes over time

This page was built for person: Yusuke Kawamoto