- Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
- Embedded Java Security: Security for Mobile Devices
- Aspect-Oriented Security Hardening of UML Design Models
- Verification and Validation in Systems Engineering: Assessing UML/Sysml Design Models
- Binary Code Fingerprinting for Cybersecurity: Application to Malicious Code Fingerprinting