Language-based Security

The STG Mailinglist for Language-Based Security

Research areas include both analytical and constructive approaches to software security on a language level.

Topics include:

  • Vulnerability Detection using Static Analysis
  • Risk Assessment of Software Libraries
  • Security Guarantees in Type Systems
  • In-lined Reference Monitors
  • Automatic Identification of Access-control and Information-flow Violations
  • Designing and implementing new programming languages that incorporate security features
Top of page