NetDB@Penn

<div class = "research_category">
		    <h3>Research Projects</h3>
			<p><ul>
			<li class="research_link_format">
			  <a href = "http://excape.cis.upenn.edu">ExCAPE: Expeditions in Computer Augmented Program Engineering</a></li>
			<li class="research_link_format">
			  <a href = "http://safest.cis.upenn.edu">SAFEST: Selectable Anonymity for Enabling SAFER Telecommunications</a></li>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/reduction/">Scaling up Formal Analysis of Large Internet Configurations</a></li>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/fvr">FVR: Formally Verifiable Routing</a></li>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/cologne">Cologne: A Declarative Distributed Constraint Optimization Platform</a></li>
		    <li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/nettrails">NetTrails: Provenance for Forensics in Distributed Systems</a></li>
  		    <li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/routeshepherd">Route Shepherd: Control Plane Stability from Incomplete Information</a></li>
<li class="research_link_format">
			  <a href = "http://trac.research.att.com/trac/dmf/">Transactional Orchestration for Cloud Computing</a></li>
			<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/puma">PUMA Policy-based Agile Mesh Networking</a></li>                      	<li class="research_link_format">
			  <a href = "http://netdb.cis.upenn.edu/ds2">DS2: Declarative Secure Distributed Systems</a></li>
			<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://netdb.cis.upenn.edu/cis553projects">Networked Systems Programming Projects in ns-3</a></li>
			<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>