Zhuo, WenchaoFei, QiongHaeberlen, AndreasSun, ShengzhiIves, Zachary GTao, TaoLoo, Boon ThauSherr, Micah2023-05-222023-05-222011-06-012012-07-19https://repository.upenn.edu/handle/20.500.14332/6676We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history and derivations of network state that result from the execution of a distributed protocol. It has broad applicability in the management, diagnosis, and security analysis of networks. Our demonstration shows the use of NetTrails for maintaining and querying network provenance in a variety of distributed settings, ranging from declarative networks to unmodified legacy distributed systems. We conclude our demonstration with a discussion of our ongoing research on enhancing the query language and security guarantees.Computer SciencesPresentation