Stephen Wolthusen

Portrettbilde av Stephen Wolthusen
Professor, Vice Dean Research A112 61 13 52 89

Discipline

Infomation assurance, Formal methods for specification and verification, Operating systems and the security of operating systems, Network and distributed systems security

Home page

http://www.wolthusen.com