Lecture Notes

• Secure computing (Introduction to proof development with Coq) (in Japanese), Department of Applied Informatics, Faculty of Science and Engineering, Hosei University. [Go to webpage: Spring 2013; Spring 2012; Spring 2011]
• Secure coding (Introduction to mathematical logic and formal methods) (in Japanese), Department of Applied Informatics, Faculty of Science and Engineering, Hosei University. [Go to webpage: Fall 2013; Fall 2012; Fall 2011; Fall 2010; Fall 2009]
• Proof-carrying code (in Japanese), Graduate School of Informatics, Kyoto University (December 2005).