Research

Ongoing Activities

I am pursuing research in theoretical and practical areas of Computer Security among which:

1. Security evaluation and hardening of free and open source software
2. Model-based engineering of secure software and systems
3. Cyber forensics: processes, techniques and tools
4. Security protocol specification, design and verification
5. Malicious code detection
6. Java security and acceleration
7. Intrusion detection
8. Middleware for next generation wireless and mobile platforms