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