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 . . .
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 . . .
My goal was to explain to the operating systems seminar class on how to "pivot" their existing knowledge of . . .
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 . . .
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 . . .