A knowledge transfer model: From zero-knowledge to full-knowledge. - Yasuyuki Tsukada; Kenji Koyama (ALT, 1991)

Type-free Equational Reasoning in the Theeory of Inductively Defined Types. - Yasuyuki Tsukada (Fuji International Symposium on Functional and Logic Programming, 1998)

A Role-Based Specification of the SET Payment Transaction Protocol. - Hideki Sakurada; Yasuyuki Tsukada (Network Security, 2001)

Martin-Löf's Type Theory as an Open-Ended Framework. - Yasuyuki Tsukada (Int. J. Found. Comput. Sci., 2001)

Errata to "Martin-Löf's Type Theory as an Open-Ended Framework". - Yasuyuki Tsukada (Int. J. Found. Comput. Sci., 2001)

Interactive and Probabilistic Proof of Mobile Code Safety. - Yasuyuki Tsukada (Autom. Softw. Eng., 2005)

Theorem-proving anonymity of infinite-state systems. - Yoshinobu Kawabe; Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (Inf. Process. Lett., 2007)

On Backward-Style Anonymity Verification. - Yoshinobu Kawabe; Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

An analysis of interoperability between licenses. - Kunihiko Fujita; Yasuyuki Tsukada (Digital Rights Management Workshop, 2010)

A Notation for Policies Using Feature Structures. - Kunihiko Fujita; Yasuyuki Tsukada (DPM/SETOP, 2010)

Role Interchange for Anonymity and Privacy of Voting. - Ken Mano; Yoshinobu Kawabe; Hideki Sakurada; Yasuyuki Tsukada (J. Log. Comput., 2010)

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. - Yasuyuki Tsukada; Ken Mano; Hideki Sakurada; Yoshinobu Kawabe (Trans. Data Priv., 2010)

An approach to the formal analysis of license interoperability. - Kunihiko Fujita; Yasuyuki Tsukada (Comput. Electr. Eng., 2012)

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy. - Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe (TARK, 2013)

On compositional reasoning about anonymity and privacy in epistemic logic. - Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe (Ann. Math. Artif. Intell., 2016)

Trust Trust Me (The Additivity). - Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (IFIPTM, 2017)

Quality and Quantity Pair as Trust Metric. - Ken Mano; Hideki Sakurada; Yasuyuki Tsukada (IEICE Trans. Inf. Syst., 2023)