read characterization of android malware; adds dynamic recompilation risc->cisc, emulation programming
read IM protocols; adds DeMott- bypassing EMET 4.1, Indistinguishability Obfuscation tutorial paper, hybrid dataflow/von-neumann architecture
read using coq to teach PL; adds Pierce papers related to inherently secure hw/sw architecture