- Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
- Embedded Java Security: Security for Mobile Devices
- Verification and Validation in Systems Engineering: Assessing UML/Sysml Design Models
- Binary Code Fingerprinting for Cybersecurity: Application to Malicious Code Fingerprinting
- Machine Learning for Authorship Attribution and Cyber Forensics (International Series on Computer Entertainment and Media Technology)