Formal modeling of vulnerability. - William L. Fithen; Shawn V. Hernan; Paul F. O'Rourke; David A. Shinberg (Bell Labs Tech. J., 2004)

Experiments with security and privacy in IoT networks. - Mary R. Schurgot; David A. Shinberg; Lloyd G. Greenwald (WOWMOM, 2015)