Loading…
BSidesLV 2015 has ended
View analytic
Tuesday, August 4 • 17:00 - 17:55
Crema: A LangSec-inspired Language

Sign up or log in to save this to your schedule and see who's attending!

We discuss the potential for significant reduction in the size and complexity of verification tasks for input-handling software when such software is constructed according to LangSec principles, i.e., is designed as a recognizer for a particular language of valid inputs and is compiled for a suitably limited computational model no stronger than needed for the recognition task. We will demo Crema, an open-source programming language and restricted execution environment of sub-Turing power.

Speakers
avatar for Jacob Torrey

Jacob Torrey

Advising Engineer, Assured Information Security, Inc.
Jacob Torrey is an Advising Research Engineer at Assured Information Security, Inc. where he leads the Computer Architectures group and acts as the site lead for the Colorado branch. Jacob has worked extensively with low-level x86 and MCU architectures, having written a BIOS, OS... Read More →


Tuesday August 4, 2015 17:00 - 17:55
Ground Truth Florentine F

Attendees (0)