8998582912_436928c587_b_large

Jacob Torrey

Towards a new model of computational expressiveness

Since joining the cult of LangSec, I've spent a great deal of time pondering what makes a programming language or environment "useful" and believe that the current model centered around Turing-completeness is no longer sufficient to describe the nuances between varied environments. The root of this stems from the huge divergence . . .

Read More

June 01, 2014

Speaking Engagement: BlackHat USA 2014

I will be speaking at this year's BlackHat conference in Las Vegas August 6-7 about some of my DARPA Cyber Fast Track work "MoRE: Measurement of Running Executables". Below is a short synopsis of the briefing:

This talk will cover the concept of translation lookaside buffer (TLB) splitting for code hiding and how the evolution . . .

Read More

May 28, 2014

Short: From Kernel to VMM

I recently gave a lecture in Sergey Bratus' class at Dartmouth on the topic of Intel's VT-x virtualization extensions. The film of this lecture has just been posted to YouTube and is embedded below:

My goal was to explain to the operating systems seminar class on how to "pivot" their existing knowledge of kernel design and . . .

Read More

May 11, 2014

LANGSEC: Taming the Weird Machines

Introduction

I want to get some of my opinions on the current state of computer security out there, but first I want to highlight some of the most exciting, and in my views, promising recent developments in security: language-theoretic security (LangSec). Feel free to skip the next few paragraphs of background if you are familiar with the . . .

Read More

May 02, 2014

Welcome to Security Counterpoint

Hello and welcome! This is the home of Jacob's musings on security, a place I can edify, extrapolate and explore current happenings in information security. I am a senior security research engineer (though all opinions are my own) where I lead a team focusing on low-level (e.g. BIOS/SMM/VMM) security at the architectural level; I also . . .

Read More

April 29, 2014

Archive