-
Computer Science
-
Research
-
Research Profile
Software, security and verification
that incorporate semantic constraints Consideration of security requirements such as availability, integrity, authenticity, confidentiality, anonymity, and detectability Current research results Andreas Dann …