Automating the security analysis process of secure ad hoc routing protocols. - Todd R. Andel; Greg Back; Alec Yasinsac (Simul. Model. Pract. Theory, 2011)

Leveraging CybOX™ to standardize representation and exchange of digital forensic information. - Eoghan Casey; Greg Back; Sean Barnum (Digit. Investig., 2015)