Useful links
From Practical Software Verification
People
A list of people working on system and network security - Maintained by Zhiqiang Lin.
Microsoft Research publications - Lots of excellent papers here. Try searching for 'verification', 'testing' etc.
Patrice Godefroid's publications page - More good papers. Describes a number of systems used at MS for finding bugs.
Resources
A list of x86 instructions, their opcodes and a brief explanation
Another x86 reference, this time with pseudo-code for each instruction
