Grammatical Inference and Language Frameworks for LANGSEC

Explore grammatical inference and language frameworks for LANGSEC in this IEEE conference talk presented at the 2015 LangSec Workshop. Delve into Kerry Wood's investigation of alternative approaches to inferring grammars using pattern languages and elementary formal system frameworks. Discover how these methods relate to the Chomsky hierarchy and their potential applications in securing protocols and parsers. Examine initial results of pattern language learning on logged HTTP sessions and gain insights into future research directions in this field. Learn about the importance of formal language theory in cybersecurity, the challenges of convincing others to adopt these methods, and the process of learning from positive examples. Understand various learning models, patterns, and elementary formal systems, as well as the concept of supervised learning in the context of language security.

Introduction
Overview
Background
How do you convince people
Learning from positive examples
Learning models
Examples
Patterns
Regular Patterns
Elementary Formal Systems
Supervised Learning
Simple is inferable
Fuzzing
Future Work