Matvey Arye's Homepage
Ph.D. Student
S* Network Systems Group
Computer Science
Princeton University
Email: arye at cs.princeton.ed u
Address: 35 Olden Street, Princeton, NJ 08540, USA
About me
I am currently a Ph.D. student at Princeton University. My advisor is Michael J. Freedman. Previously, I completed my Master's degree also at Princeton.
I completed my undergraduate degree in general engineering at The Cooper Union in 2005.
Before starting my Master's degree I worked at a small start-up software development firm in NYC.
More details are available in my resume.
Research Interests
Security, Applied Cryptography, Privacy, Distributed Systems, Programmable Networks, New Network Architectures, and Network Protocols.
Research Statement
The Internet was originally designed more than twenty years ago, to solve the
immediate needs of the research community at the time. It was designed from a
practical point of view -- it needed to just work. Now, we have a vastly
different array of requirements and needs for a network that has to operate on
a scale never envisioned all those years ago. We also currently have a working,
though not perfect, Internet; so we have the luxury of designing the next
network architecture to be more stable, robust, and be based on a more solid
theoretical foundation. I wish to be part of this evolution in networking
technologies and so during my first year of graduate studies I have
concentrated on studying the security and correctness of networking protocols
and distributed systems. I wish to continue this work as well as have to have
an opportunity to develop real-world systems.
Current Projects
- Jetstream
- Serval - Ongoing work on verifying protocols for a new network architecture (see publications below). Formal Models
- COR: Cloud-based Onion Routing - Deploying Tor as an elastic service on the cloud. Enabling commercialization of anonymous access services while preserving distributed trust and user privacy.
- BGP gadget analysis in Alloy - A project to analyze BGP misbehavior using a declarative, formal methods, language called Alloy.
Teaching Assistant
| COS 217 |
Fall 2009 |
Introduction to Programming Systems |
Bob Dondero |
| COS 333 |
Spring 2010 |
Advanced Programming Techniques |
Brian Kernighan |
| COS 423 |
Fall 2010 |
Information Security |
Ed Felten |
| COS 461 |
Spring 2011 |
Computer Networks |
Michael J. Freedman |
CS Publications
- A Formally-Verified Migration Protocol For Mobile, Multi-Homed Hosts
Matvey Arye, Erik Nordstrom, Robert Kiefer, Jennifer Rexford, and Michael J. Freedman
Proc. IEEE International Conference on Network Protocols(ICNP), October 2012, Austin, TX. Speaker.
[talk pdf]
[talk pptx]
- Towards Efficient Stream Processing in the Wide Area
Matvey Arye, Siddhartha Sen, Ariel Rabkin, and Michael J. Freedman
Proc. 6th Workshop on Large Scale Distributed Systems and Middleware (LADIS), 2012. Speaker
[pdf]
[talk pdf]
[talk pptx]
-
Serval: An End-Host Stack for Service-Centric Networking
Erik Nordstrom, David Shue, Prem Gopalan, Rob Kiefer, Matvey Arye, Steven Ko, Jennifer Rexford, and Michael J. Freedman
Proc. 9th Symposium on Networked Systems Design and Implementation
(NSDI '12), San Jose, CA, April 2012.
[pdf]
Community Award, honorable mention.
-
A Provably-Correct Protocol for Seamless Communication with Mobile, Multi-Homed Hosts
Matvey Arye, Erik Nordstrom, Robert Kiefer, Jennifer Rexford, and Michael J. Freedman
ArXiv Technical Report: 1203.4042v1, March 2012.
[link]
-
Toward a lightweight model of BGP safety
Matvey Arye, Rob Harrison, Richard Wang, Pamela Zave, and Jennifer Rexford
Proc. Workshop on Rigorous Protocol Engineering (WRIPE '11), October 2011, Speaker
[pdf]
-
Hiding Amongst the Clouds: A Proposal for Cloud-based Onion Routing
Nicholas Jones, Matvey Arye, Jacopo Cesareo, and Michael J. Freedman
Proc. USENIX Workshop on Free and Open Communications on the Internet (FOCI '11), San Francisco, CA. August 2011
[pdf]
-
FlexMove: A Protocol for Flexible Addressing on Mobile Devices (MSE thesis)
Matvey Arye
Princeton University, Department of Computer Science Technical Report TR-900-11, May, 2011
[pdf]
-
Service-Centric Networking with SCAFFOLD
Michael J. Freedman, Matvey Arye, Prem Gopalan, Steven Y. Ko,
Erik Nordstrom, Jennifer Rexford, and David Shue
Princeton University, Department of Computer Science Technical Report TR-885-10, September 2010.
[pdf]
Non-CS Publications
Personal Interests
Computers, Books, Math, Music, Movies, Art, Theater, Skiing, Cycling, Swimming, Camping.