Crema - A LangSec Inspired Language

Explore a LangSec-inspired language called Crema in this BSidesLV 2015 conference talk. Delve into the principles of Language-theoretic Security (LangSec) and its application in creating more secure systems. Learn about the concept of least computational privilege, sub-Turing execution, and the importance of language limitations in security. Examine a sample Crema program and understand its potential applications in real-world scenarios, such as improving the security of email systems like QMail and Sendmail. Discover the future work planned for Crema, including formal modeling and JIT unrolling. Gain insights into how Crema could be embedded in programs to enhance security and explore various use-cases for this innovative language.