講義録

• 法政大学 理工学部 応用情報工学科 「セキュア計算」(4年次前期配当) [講義録のページ: 平成24年度前期; 平成23年度前期]
• 法政大学 理工学部 応用情報工学科 「セキュアコーディング」(2年次後期配当) [講義録のページ: 平成24年度後期; 平成23年度後期; 平成22年度後期; 平成21年度後期]
• 京都大学 大学院情報学研究科 「情報学展望」(証明に基づく安全なソフトウェアの配信) (平成17年12月)