u University of Oulu (Finland): Secure Programming Group
u University of Stuttgart (Germany) Institute for Formal Methods in
Computer Science: Secure and Reliable Software Systems Group.
While most academic research in software assurance and software security