Skip to content
Hallway
0:00 / 0:00

#language-theoreticsecurity#langsec#parsergenerators

Towards a formal theory of computer insecurity: a language-theoretic approach

Dartmouth

119K subscribers • 2 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • A classic. People kept recommending it from 2016 to 2021.
  • Presented by Len Sassaman and Meredith L. Patterson

Advanced. Deep dive for people who know the field.

21K views15 years ago2 recommendations

SecurityComputer scienceComputation and complexityWeb and application securityCryptography

Len Sassaman and Meredith L. Patterson present a language-theoretic approach to security, arguing that input validation is a formal language recognition problem.

The Institute for Security, Technology, and Society presents Towards a formal theory of computer insecurity: a language-theoretic approach Presented by: Len Sassaman, Katholieke Universiteit Leuven Meredith L. Patterson, Independent researcher Thursday, February 17, 2011 Moore Hall, Dartmouth College

Why it's here

2 people recommend this

What people say. Recommended as a foundational talk on language-theoretic security and why configuration formats should be simple and regular.

u/the_aligator6in r/typescript • Recommends

On “The Perfect Configuration Format? Try Typescript”

yeah over the wire configuration formats should preferably be regular, or at most context-free. there is a great talk about this that goes into great depths: link to this video
1View on Reddit

u/JustThisNietzscheGuyin r/netsec • Recommends

Towards a formal theory of computer insecurity
1View on Reddit