Computer security and language-based methods in security; Trustworthy computing; Formal methods (particularly with respect to hardware/software codesign); Programming language design and implementation. High-level synthesis, reconfigurable computing on FPGAs. Hardware security.
©