You've found the homepage of Jason Perry, a former PhD student in Rutgers Computer Science
. My advisor was Prof. Rebecca Wright
. I graduated in May 2015 and am now an assistant professor at Lewis University
in the Department of Computer and Mathematical Sciences
My current research is in
cryptographic protocols for secure computation. I am seeking to make
secure computation in distributed systems more trustworthy and
deployable, by developing new cryptographic protocols, security
analyses, and implementations that bridge the gap between theoretical
and applied security. This includes integrating insights from my
experience in programming language theory and natural language
- Leakage-abuse Attacks Against Searchable Encryption
- David Cash, Paul Grubbs, Jason Perry and Thomas Ristenpart. In Proceedings of the 22nd ACM Conference on Computer and Communications Security (CCS 2015), October 2015. Slides
- Systematizing Secure Computation for Research and Decision Support
- Jason Perry, Debayan Gupta, Joan Feigenbaum and Rebecca N. Wright. In
Proceedings of the 9th Conference
on Security and Cryptography for Networks (SCN 2014), September 2014.
- Practical and Privacy-Preserving
Policy Compliance on Outsourced Data
- Giovanni Di Crescenzo, Joan Feigenbaum, Debayan Gupta, Thimios Panagos, Jason Perry and Rebecca N. Wright. 2nd Workshop on Applied Homomorphic Cryptography and Encrypted Computing (WAHC '14), March 2014.
- Modular Natural Language Interfaces to Logic-Based Policy Frameworks
- Jason Perry, Konstantine Arkoudas, Jason Chiang, Ritu Chadha, Daniel Apgar, Keith Whittaker. Computer Standards and Interfaces 35(5), 417-427, 2013.
- Generating quantifiers and negation to explain homework testing
- Jason Perry and Chung-chieh Shan. In Proceedings of the 5th workshop on innovative use of NLP for building educational applications, June 2010.
- The Secure Computation Annotated Bibliography
- Last update: 2015-03-04. Outside contributions and corrections are welcome and will be credited. Please check back regularly for updates.
- A PyQt user interface for exploring the MPC protocol database.
These are pointers to useful starting-off sites for research areas.
Cryptography and Multi-party Computation
- The Standard ML Family. Good starting point for resources related to Standard ML.
- OPAM, an OCaml Package Manager that solves lots of problems.
- Developing Applications with Objective Caml. This slightly old book has been translated into English and made freely available online. It has an excellent discussion of the module system and of the tradeoffs between modules and classes (chapters 14-16).
Logic and Knowledge Representation