Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
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, hypervisor and SMM handler. His major interest is how to (mis)use an existing architecture to implement a capability currently beyond the limitations of the... Read More →


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

Attendees (15)