gc^ITop Profile Research Publications
Recent news
€Ί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
- Optimum secret sharing
- Cryptographic hardness assumptions (e.g., Vector decomposition problems)
- Cryptographic protocols
- Timed-release/time-limited cryptography
- Anonymous fingerprinting for variuos types of contents distribution
- Formal verification
- Generic tool for symbolic analysis based on Dolev-Yao model
- Computationally sound symbolic analysis of UC security
- Symbolic analysis of construction principles (e.g., hash-and-sign)
- Brief Introduction to information securityiξρZL
eBΜΠξj
- Publications iΖΡXgj
Recent News
Class Materials
- Osaka University
- 2010-: ξρpξbiw1ρΆCOϊj
- 2001-: Problem Based Learning 1iw1ρΆCOϊj
- 2001-: Problem Based Learning 4iw2ρΆCγϊj
- 2001-: [~i[Biw3ρΆCγϊj
- 2006-2009: KCiw3ρΆCOϊj
- 2001-2009: ξρΘwΐ±Aiw2ρΆCγϊj
- Kinki University (part-time)
- ΓΖξρZL
eBi2007-2009, w2,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.7.1
maki-yos@ist.osaka-u.ac.jp