Toshihiro YOSHINO

Profile

Ph. D course student at Yonezawa laboratory from the year 2006.

Research Interests

Computer Security
- Protection against Attacks / Malwares
- Language-based Security (Typed Assembly Language, etc.)
Functional Programming Languages (ML, Haskell, etc.)

Publications

List of my papers

L³Cover: a framework to build program verifiers for low-level languages

Miscellaneous

Bookmarks

ISers' Antenna (in Japanese)