YASUYUKI   TSUKADA

Ph.D., Senior Researcher / Supervisor / Group Leader
Computing Theory Research Group
Innovative Communication Laboratory
NTT Communication Science Laboratories
3-1 Morinosato-Wakamiya, Atsugi, Kanagawa, 243-0198 Japan
Email: tsukada.yasuyukiXlab.ntt.co.jp where X=@
Home Page: www.brl.ntt.co.jp/people/tsukada/ 		[Y. Tsukada]

Profile

Provably Safe Software Distribution

Formal Approach to Anonymity and Privacy

Symbolic and Computational Proofs of Cryptographic Security

Formal Foundations for Digital Rights Description and Management

Relevant Publications

Lecture Notes

Offshore Ambassadeur

Updated: April 1, 2013    © Yasuyuki Tsukada

[English | Japanese]