Welcome!

I'm a PhD Candidate in Computer Science in the Security Group at Princeton University, which has some history in this subject. I sit in the Center for Information Technology Policy where I study security, privacy, and how technology informs policy decisions. I'm currently advised by Ed Felten and Andrew Appel.

The following facts about me may or may not interest you: I'm a National Science Foundation Graduate Research Fellow. I travel to Boston each year to perform Improbable feats of engineering. I will be getting married in the near future.

In the past, I attended a small college near Boston, MA where I spent a lot of time playing with technology and making it accessible to the masses. Prior to that, I grew up in Monterey, CA where I can recommend a good dentist. It was there that I got my start as a Computer Scientist, and experienced the workings of Government.

I don't always blog, but when I do, I do it on Freedom to Tinker.

Research

I'm interested in a broad swath of topics, both in and outside of computer security. My current research focuses on using CompCert, a certified C compiler, to build a software-fault isolation toolkit that is portable across architectures.

For more information, you should contact me.

Publications

  • Kroll, J. and D. Dean, “BakerSFIeld: Bringing Software Fault Isolation to the x64,” SRI Computer Science Laboratory Technical Report, 2009.
  • Martell, C. and J. Kroll, “Corpus-Based Gesture Analysis: An extension of the FORM dataset for the automatic detection of phases in a gesture,” Int. J. Semantic Computing, 1(4): 521-536 (2007).
  • Martell, C. and J. Kroll, “Using FORM to Predict Phase Labels,” Proceedings of the Language Resources and Evaluation Conference, Workshop on Multimodal Corpora, June 2006.

Presentations

  • Kroll, J. “Seeing Under Sea: Applications of Computer Vision in Underwater Video,” Plenary Address, Harvard Undergraduate Research Symposium, Nov. 2006 (Accepted by faculty review; top 3 of 140 papers).

Teaching

I sincerely enjoy teaching and wish that I had time to do more of it. I've been fortunate to have many opportunities to be a teacher, a tutor, a docent, a guest speaker, and many other things. Please contact me if you'd like to know more.

I have taught the following university-level courses:

  • Princeton University, Department of Computer Science. Assistant in Instruction, Computer Science 226: Algorithms and Data Structures. Professor Robert Sedgewick, Instructor. Spring 2011.
  • Princeton University, Department of Computer Science. Assistant in Instruction, Computer Science 432: Information Security. Professor Edward Felten, Instructor. Fall 2010.
  • Harvard University, Department of Mathematics. Head Course Assistant (of 6), Mathematics 23a/b: Linear Algebra and Real Analysis I/II. Dr. Paul G. Bamberg, Instructor. 2006-2007.

If there's interest, I'll try to post some notes I made while teaching said courses. Please contact me if you

CV

My curriculum vitae. I cannot guarantee that the one on this website is up-to-date.

For a current copy of my CV, it would be best to contact me.

Contact Me

I am most easily contacted via E-mail at .

If you prefer to send mail of the physical variety, please send it to my department:

Joshua Kroll
Computer Science
Princeton University
35 Olden Street Princeton, NJ 08540