Stuxnet analysis
sending messages through air gap
Phutball Hardness
static analysis/formal methods papers
scheme lexer parser
other Shivers static analysis papers
distributed computing
Jason Nieh papers; teaching os using android
read experiences teaching OS using virtual platforms and linux
one more nieh paper
OS-related papers
formal methods related papers