Project Ideas

Projects should result in a six-page research paper. If you would like to submit your paper to a workshop, I would be glad to help you find the right one.

Here are a few general templates for generating project ideas:

• Model some aspect of network architecture with Alloy. Define interesting properties and use verification to show how they are related.
• Do a survey paper on some problem in networking and how network architecture is used to solve it.
• Describe and justify an application-oriented network for some application. Also describe how it should be implemented on lower-level networks.

Here are a few more specific ideas. More may be added over time.

• Use Network-oriented Datalog for something. It would be especially interesting to analyze a network with layering, which NoD is claimed to handle. The hard part of this project would be getting some data (network state) to analyze.
• Figure out how to use the Alloy visualization system to get decent visualizations of network models. This would entail using its customization features.
• Possible example of a problem in networking to survey (see above): see "Scalability" in Section 7 of "Accountable Internet Protocol (AIP)".
• Possible examples of application-oriented networks (see above) are Internet of Things networks and publish-subscribe services.
• Choose one of the projects resulting from the "Future Internet Architectures" grant program and critique it.