CURRICULUM

site links

• Home
• Curriculum vitae
• Publications
• Patents
• PhD Thesis
• Contacts

Tools

• APE (Attacker Model)
• CPDY (CPS Attacker Model)
• SPiM (Formal Verification)
• SQLFast (Formal SQL-i)

external links

• DBLP
• Google scholar