Pinned Repositories
crane
Transparent Paxos
egalito
Self-hosting binary instrumentation framework for security research
fairtest
libtrack
Library wrapper and system-level tracing utilities
Metric_Learning_Adversarial_Robustness
Code for NeurIPS 2019 Paper
pixeldp
PrivateKube
Privacy Budget Orchestration in Machine Learning Workloads
smt-mc
The Parrot stable and deterministic multi-threading system.
VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
xray
Transparency for Web Services
Columbia University's Repositories
columbia/libtrack
Library wrapper and system-level tracing utilities
columbia/sunlight
columbia/xray
Transparency for Web Services
columbia/appdoctor
AppDoctor
columbia/woodpecker
Woodpecker: Verifying systems rules using rule-directed symbolic execution
columbia/grandet
A Unified, Economical Object Store for Web Applications
columbia/pebbles_platform_dalvik
Mirror of git://android.git.kernel.org/platform/dalvik.git with TaintDroid additions (mirror lags official Android)
columbia/pyramid-release
columbia/android_platform_dalvik
columbia/DroidBench
columbia/tdroid-snu
Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.
columbia/transparency
columbia/xen
Xen source code
columbia/helios_android
columbia/android_platform_frameworks_base
columbia/android_platform_libcore
columbia/cpachecker
CPAchecker, the Configurable Software-Verification Platform
columbia/csds-material
Course material for the Computer Systems for Data Science class at Columbia
columbia/ds_reading_group
columbia/instabase
An Entity Resolution game
columbia/kvm-unit-tests
columbia/mysql_remote
columbia/os-abstractions-reading-group
columbia/qemu-pub
QEMU to support nested virtualization on /ARM
columbia/selective-data-systems
columbia/sunlight_plugin
columbia/TMTestAppTest
Robotium based test app for TMTestApp
columbia/TrackingObserver
A browser-based web tracking detection platform.
columbia/virt_benchmarks
benchmarks for xen and kvm
columbia/xen_unittest
Xen for unit test