AI Innovation Institute

In the NSAC Lab we are applying cryptography to solve fun problems in all kinds of interesting areas such as:

• Secure Data Outsourcing
• Security in Wireless and Sensor Networks
• Queries/Searches over Encrypted Data
• Secure Networked Storage with Privacy
• Security Policies in Computation/Data Grids
• Digital Rights Management
• Secure Reputation Systems

Among the projects are: 

• Rether, a real-time protocol, ethereal, a real-time Ethernet switch, and
• the Stony Brook Video Server (SBVS), an Ethernet based distributed video server which can function over a LAN.

OSCAR Lab was founded in spring 2011 in Computer Science department, Stony Brook University. The Lab is focusing on research related issues in the areas of Operating Systems, Virtualization, System Security, Concurrency and Computer Architecture.

The target platform for the prototype NMS consists of a cluster of 64-bit Alpha 21164-based PC-class machines, each equipped with at least 1GB of RAM and approximately 10GB of disk backing store, and connected by a high-speed (1.2Gb/sec) Myrinet interconnect which will be dedicated to the network paging function. Each machine will also be equipped with standard 100Mb/sec Fast Ethernet interface for general-purpose communication using IP.

Current work includes: 

• network or software based attacks,
• detection and confinement, and
• Software Analysis and Debugging Tools to detect defects in complex systems.

Current work includes: 

• Content-Based Access Control: CBAC enables bloggers and social networkers to specify simple access-control policies that can be applied automatically to future posts, photographs.
• Static Analysis for Security: Develop tools to help programmers write better software.
• Secure Mobile Commerce: Cell-phones will soon replace credit cards in point-of-sale transactions. We propose an architecture for enabling secure commerce on an otherwise untrusted platform.
• Usable Password Management: We are developing a usable web password manager based on the principle that "a secure user interface should not only make doing the right thing easy, it should make doing the wrong thing hard."

N/A

Among the projects are: 

• FiST: A language for stackable file systems ported to Linux, Solaris, and FreeBSD. FiST allows incremental file system development, without requiring an in-depth knowledge of kernel internals. A Windows NT port is under way.
• CoSy: Compound System Calls, a method of aggregating multiple system calls into a single system call. This reduces data copies and context switches. Initial results show promising performance improvements.
• NCryptfs: A next-generation cryptographic file system, which balances security, convenience, and performance.
• Elastic Quotas: A novel disk-space management method, which allows users to temporarily exceed their storage quota.
• Versionfs: A stackable versioning file system, with support for powerful version storage and retention policies. Versionfs provides online backup and restore capabilities, with low overhead.

Current projects include: 

• Mobility Modeling: We work on the development of a data-driven mobility model, using statistical likelihoods for path selection and speed of movement. Our focus is on the development of a framework to support any mobility traces and for ease of evaulation of various communication protocols, deployments, etc under such models.
• Energy Efficient Wireless Protocols: We work on the development of wireless protocols which consider energy metrics for lifetime extension in sensor netowrks.
• Mobile Computing & Applications: We work on the development of socially influenced mobile phone applications for developing countries. Challenges include working with limited and out-dated hardware, limited infrastructure and cost models in deployed areas, and facilitating current computation models to the platform. Another focus is on the development of peer-to-peer mobile and social information networks.
• Architectures for Emerging Interconnect Technologies: With the emergance of new on-chip interconnect technologies, CAD is facing a drastic shift in optimization priorities, such as power, area, and bandwidth. We are developing new architectures and optimization techniques for emerging technologies, such as RF, optical, and/or plasmonics.

Members of the Lab are engaged in three major projects: 

• FLORA - a declarative object-oriented language for programming knowledge intensive applications.
• The LMC (Logic Programming-Based Model Checking)
• XSB - A high-performance logic programming and deductive database system.