Napa Lab focuses on the broad area of communication networks with the focus on network algorithms, network protocols, network coding, and Quality of Service (QoS). Napa Lab is directed by Dr. Alex Sprintson.


Raghdah Al Sahikhi M.S., Wireless mobility
Pradipta Bose M.S. Network Storage, Software-defined networks
Jasson Casey Ph.D. Candidate, Protocol Compilers and Specification Languages, Software-defined networks
Colton Chojnacki B.Software-defined networks
Yu-Pin Hsu Ph.D. Candidate, Wireless network coding, mechanism design
Swanand Kadhe Ph.D. Secure communication, Network coding for storage systems
Corey Morrison M.S. Storage systems
Atin Ruia M.S. Storage systems, software defined networks
Dmitriy Shatalov B.S. Protocol firewals
Daoqi Wang M.Sc. Message layer, Software-defined networks
Muxi Yan Ph.D. Wireless network coding, software-defined networks


Wireless Network Coding The goal of this research project is to identify efficient solutions and characterize the complexity of for a broad class of the wireless network coding problems. Currently, we are focusing on the security aspects of the problem. We develop,wireless network coding schemes that leak the minimum amount of information to the wiretapper and well as on the schemes that are resilient to the Byzantine failures at the nodes. In addition, we are,working on the game-theoretical aspects of problem, in particular, on designing mechanisms that provide an incentive for the wireless nodes to cooperate in the information transfer.
Protocol Compilers and Specification Languages We are working on systems programming language-based methods and tools for design, analysis, construction, verification, configuration, and deployment of provably correct, safe, and efficient networking systems.,Our goal is to develop,a new system,language,that will be powerful enough to express the definition of a protocol including: message formats, state machine, initial configuration, and system interaction. The specification language will also support reasoning over a protocols properties as well as over interactions with other protocols. We will support rapid prototyping , allowing a set of specifications to be compiled to a low-level language for testing. This framework will allow for students, researchers, and industry developers to quickly define a protocol, or network of protocols, reason about their properties and interactions, and generate prototypes for network testing.
Design and analysis of stochastic firewalls In this project, performed in collaboration with P.Gratz, we focus on a software firewall architecture which removes the sequential Access Control List (ACL) lookup from the critical path and thus decreases the latency per packet in the common case. To accomplish this we explore random data structures (such as Bloom filters). Our goal is to enable the bifurcation of the predicted good and predicted bad packet paths which has a potential for a significant improvement of the system performance.
Robust adaptive topology control (RATC) We are participating in  the  project funded the Advanced Research Projects AgencyEnergy (ARPA-E), U.S. Department of Energy. Our role in this project is to  define RATC communication architecture, analyze different options for communication between substations and the control layer, define data layer requirements, and explore different potential design choices for RATC data layer.