Systems and software verification

model-checking techniques and tools

Wireless communications

Cooperative wireless communications

Probability, random variables, and stochastic processes

Hacking exposed Windows

Windows security secrets & solutions