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
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
The hard part of this project would be getting some data (network state)
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):
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.