About

This tutorial is based on prior work with Dr. Michael Locasto and the rest of the Internet of Things Security and Privacy Center at SRI International.

The LangSec website has videos, news articles and research papers to get started with understanding LangSec. However, here are some of those papers:

• “Building Hardened Internet-of-Things Clients with Language-theoretic Security”, Prashant Anantharaman, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist PDF Video

• “Exploit Programming: from Buffer Overflows to Weird Machines and Theory of Computation”, Sergey Bratus, Michael E. Locasto, Meredith L. Patterson, Len Sassaman, Anna Shubina PDF

• “In Search Of Shotgun Parsers In Android Applications”, Katherine Underwood and Michael Locasto, 3rd LangSec Workshop at IEEE S&P. PDF