I was awarded the Information Assurance Scholarship Program, sponsored by the NSA. Through this, I've worked two internships at SPAWAR (Space and Naval Warfare Systems Center) in Charleston, SC. All I can say about what I've done at Amazon or SPAWAR is that I've worked on infrastructure, but I assert that at Amazon I achieved the original goal set forth at the beginning of my internship (shipped to production), and that my internship in Summer 2012 at SPAWAR my code was also put into use. SPAWAR gave positive feedback about my code and how it helps them.
I like software security in general, but I specifically like model checking, SMT & SAT solvers, low level hacking/exploitation, reverse engineering. But I also have diverse skills also in software engineering and functional programming, and I am growing an increasing interest in formal methods and deeper mathematics. One is much better off exploring the extensive set of projects that I've participated on, which is on my Resume's project history portion.