Yusuke Kawamoto
发表
Yusuke Kawamoto,
2019
.
Hideki Sakurada,
Masami Hagiya,
Yusuke Kawamoto,
2008
.
M. Hagiya,
Hubert Comon-Lundh,
Yusuke Kawamoto,
2010
.
Yusuke Kawamoto,
Hideki Sakurada,
Masami Hagiya,
2008
.
Seira Hidano,
Takao Murakami,
Yusuke Kawamoto,
2020,
2021 International Joint Conference on Neural Networks (IJCNN).
M. Alvim,
C. Palamidessi,
K. Chatzikokolakis,
2018
.
Kohei Suenaga,
Yusuke Kawamoto,
Tetsuya Sato,
2022,
ArXiv.
M. Hagiya,
Hubert Comon-Lundh,
Yusuke Kawamoto,
2009
.
Kohei Suenaga,
Yusuke Kawamoto,
Sato Tetsuya,
2022,
2210.16751.
Mário S. Alvim,
M. Alvim,
C. Palamidessi,
2020,
ACM Trans. Priv. Secur..
Takao Murakami,
Yusuke Kawamoto,
Takao Murakami,
2018,
USENIX Security Symposium.
K. Konishi,
Y. Oiwa,
Yusuke Kawamoto,
2023,
ArXiv.
Yusuke Kawamoto,
Yusuke Kawamoto,
2019,
The Art of Modelling Computational Systems.
Tom Chothia,
David Parker,
Yusuke Kawamoto,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Yusuke Kawamoto,
Yusuke Kawamoto,
2020,
Software and Systems Modeling.
Mário S. Alvim,
Catuscia Palamidessi,
Konstantinos Chatzikokolakis,
2018,
Entropy.
Mário S. Alvim,
Catuscia Palamidessi,
Konstantinos Chatzikokolakis,
2018,
POST.
Mário S. Alvim,
Catuscia Palamidessi,
Konstantinos Chatzikokolakis,
2017,
GameSec.
Hideki Sakurada,
Masami Hagiya,
Hubert Comon-Lundh,
2012,
ISPEC.
Hideki Sakurada,
Hubert Comon-Lundh,
Yusuke Kawamoto,
2009,
JSIAM Lett..
Takao Murakami,
Yusuke Kawamoto,
Koki Hamada,
2019,
ArXiv.
Kohei Suenaga,
Yusuke Kawamoto,
Sato Tetsuya,
2022,
arXiv.org.
Kohei Suenaga,
Yusuke Kawamoto,
Tetsuya Sato,
2021,
KR.
Yusuke Kawamoto,
2019,
SEFM.
Yusuke Kawamoto,
2020,
Software and Systems Modeling.
Takao Murakami,
Yusuke Kawamoto,
Takao Murakami,
2018,
2018 International Symposium on Information Theory and Its Applications (ISITA).
Hideki Sakurada,
Masami Hagiya,
Yusuke Kawamoto,
2009,
Formal to Practical Security.
Takao Murakami,
Yusuke Kawamoto,
Koki Hamada,
2020,
Proc. Priv. Enhancing Technol..
Thomas Given-Wilson,
Catuscia Palamidessi,
Sardaouna Hamadou,
2013
.