@ut-osa

Operating Systems and Architecture

  • The University of Texas at Austin

fault-injection

Kernel fault injection tool

Updated Dec 4, 2015

gpunet

GPUnet is a native GPU networking layer that provides a socket abstraction over Infiniband to GPU programs for NVIDIA GPUs.

Updated Jul 6, 2015

laminar

Laminar DIFC system (JVM and Linux Security Module)

Updated Jan 1, 2015

anon-pass

Anon-Pass is a practical cryptographic anonymous subscription scheme. Combined with a proof-of-concept integration, it can scale to thousands of concurrent users. See http://zweb.cs.utexas.edu/users/osa/anon-pass/ for more details.

Updated Dec 15, 2014

Airavat

Improved Security for MapReduce

Updated Nov 24, 2014

lacuna

System to erase traces of user actions on a machine

Updated Jul 4, 2014

dcac

Application-Defined Decentralized Access Control

Updated May 7, 2014

txos

Operating system demonstrating system transactions

Updated Mar 23, 2014

syncchar

Syncchar - synchronization analysis tool

Updated Mar 23, 2014

xr

forked from oshofmann/xr

A source cross-reference

Updated Oct 15, 2013

OCaml 1 0

linux_analysis

Tools for analyzing the Linux 2.6 source code using CIL (C Intermediate Language)

Updated Mar 3, 2012