Research
I am looking at ways to make software
secure automatically. As a security person, I still believe that
it is important to program with security in mind, but clearly
people, myself included, still make mistakes. I plan on
developing techniques that detect security flaws, help programmers
fix
security flaws, and eliminate some security flaws automatically. I
am working on this with
Dan Grossman
and
Yoshi Kohno.
Current Projects
- Audio Voyeur -- What information are you leaking when you
stream encrypted audio?
- Sheriff -- A working title for my
SOC
project
Past Projects
