gc^ITop Profile Research Publications Lecture €ΊTop
εγεw εw@ξρΘw€Θ }`fBAHwκU ZL
eBHwuΐ
εγεw ξbHw ξρΘwΘ ‘΄€Ί
gc^I Maki Yoshida
Personal Information
Research Information
- Keywords:
digital watermarking, cryptographic protocol, formal verification, copyright protection, privacy protection
- Research interests
- Primitives
- Optimum watermark detection/decoding and performance comparison
- Secret sharing schemes
- Cryptographic protocols
- Timed-release/time-limited cryptographic schemes
- Anonymous fingerprinting for variuos types of contents distribution
- Formal verification
- Symbolic analysis tool
- Soundness of verification
- Brief IntroductioniξρZL
eBΜΠξj
- Publications iΖΡXgj
Recent News
Class Materials
- Osaka University
- Oϊ
- Problem Based Learning 1iw1ρΆj
- KCiw3ρΆj
- γϊ
- Kinki University (part-time)
- Oϊ
- ξρZL
eBiw2,3ρΆj
Contact Information
§565-0871 εγ{csRcu1-5
εγεw εw@ξρΘw€Θ
}`fBAHwκU ZL
eBHwuΐi‘΄€Ίj
Tel: 06-6879-4517
Fax: 06-6879-4519
gc^ITop Profile Research Publications Lecture €ΊTop
Last update: 2010.1.3
maki-yos@ist.osaka-u.ac.jp