Projects

Here is a list of some ongoing projects that I am leading at the Computer Security Laboratory:

• Security analysis and hardening of free and open-source software
• Cyber forensics: processes, foundations, techniques and tools
• Model-based security engineering of software and systems
• Verification, validation and accreditation in systems engineering
• Security evaluation methodologies