NetDB@Penn

<div class = "research_category">
		    <h3>Current Research Projects</h3>
			<p><ul>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/fvr">FVR: Formally Verifiable Routing</a></li>
			  <table>
				<tr>
				  <td width="150" align="center"><img src="fvr/images/logo.png" width="125" height="60"/></td>
				  <td><p>The FVR project addresses a
long-standing challenge in networking research -- bridging the gap
between formal theories and actual implementations. We have developed
the FSR (Formally Safe Routing) toolkit that unifies research in
routing algebras with declarative networking to produce
provably correct distributed implementations for inter-domain
routing. In addition to the FSR toolkit, the FVR project has also
explored the use of theorem proving and rewriting logic techniques to
verify routing protcols. </p></td>
				</tr>
			  </table><br />
		    <li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/nettrails">NetTrails: Provenance for Forensics in Distributed Systems</a></li>
			  <table>
				<tr>
				  <td width="150" align="center"><img src="nettrails/images/NetTrails.png" width="140" height="42"/></td>
				  <td><p>Operators of distributed
systems often find themselves needing to answer forensic questions, to
perform a variety of managerial tasks. NetTrails is a novel
provenance-based approach that provides the fundamental functionality
required for answering forensic questions -- the capability to
"explain" the existence (or change) of a distributed system state at a
given time in a potentially adversarial environment. </p></td>
				</tr>
			  </table><br />
  		    <li class="research_link_format">
			  <a href = "http://trac.research.att.com/trac/dmf/">Transactional Orchestration for Cloud Computing</a></li>
			  <table>
				<tr>
				  <td width="150" align="center"><img src="dmf/images/dmf.jpg" width="93" height="60"/></td>
				  <td><p>DMF (Data-centric Management
				  Framework) is a resource
				  orchestration platform to build
				  cloud services. As a programming and
				  execution framework, DMF proposes to
				  build orchestration procedures as
				  transactions such that cloud service
				  developers can group accesses and
				  controls to cloud resources into
				  logical units, which execute with
				  atomicity, consistency, isolation,
				  and durability (ACID)
				  guarantees. </p></td>
				</tr>
			  </table><br />
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/puma">PUMA Policy-based Agile Mesh Networking</a></li>
			  <table>
				<tr>
				  <td width="150" align="center"><img src="puma/images/puma.jpg" width="70" height="70"/></td>
				  <td><p>PUMA is a declarative constraint solving platform for policy-based routing and channel selection in multi-radio wireless mesh networks. We have developed a prototype of the PUMA system using the RapidNet declarative networking system deployed on the ORBIT testbed.</font></p></td>
				</tr>
			  </table><br />
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/ds2">DS2: Declarative Secure Distributed Systems</a></li>
			  <table>
			    <tr>
				  <td width="150" align="center"></td>
				  <td><p>The DS2 project explores a unified declarative platform for specifying, implementing, and analyzing secure extensible distributed systems. Our work is motivated by the proliferation of large-scale network information systems currently deployed for a variety of application domains including network monitoring infrastructures, cloud computing, content distribution networks, and network routing.</font></p></td>
			    </tr>
			  </table><br />
			<li class="research_link_format">
			  <a href = "http://safest.cis.upenn.edu">SAFEST: Selectable Anonymity for Enabling SAFER Telecommunications</a></li>
			  <table>
				<tr>
				  <td width="150" align="center"></td>
				  <td><p><br /></p></td>
				</tr>
			  </table></ul>
			  
		    <h3>Research/Education Tools and Platforms</h3>
			<p><ul>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/rapidnet">RapidNet Declarative Networking Engine (with DS2 and NetTrials)</a></li>
			<li class="research_link_format">
			  <a href = "http://a3.cis.upenn.edu/download.html">A3: Application Aware Anonymity</a></li>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/cis553projects">Networked Systems Programming Projects in ns-3</a></li></ul>
			  
		    <h3>Older Research Projects</h3>
			<p><ul>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/a3">A3: Application Aware Anonymity</a></li>
			<li class="research_link_format">
			  <a href = "http://www.cis.upenn.edu/~boonloo/papers/mosaic_conext08.pdf">MOSAIC: Declarative Platform for Dynamic Overlay Composition</a></li>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/ontonet">OntoNet: Scalable Knowledge-based Middleware for Networked Systems</a></li>
			<li class="research_link_format">
			  <a href = "http://veracity.cis.upenn.edu">Veracity: Fully-decentralized Secure Coordinate Systems</a></li></ul>
		  </div>