Skip to content
@columbia

Columbia University

Pinned Loading

  1. fairtest Public

    Python 58 18

  2. libtrack Public

    Library wrapper and system-level tracing utilities

    Python 46 4

  3. pixeldp Public

    Python 64 22

  4. VIA Public

    Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture

    Coq 9 1

Repositories

Showing 10 of 113 repositories
  • whotoemail Public

    Who to email in the cs department?

    3 1 0 1 Updated Jan 4, 2025
  • SmartInv Public
    Solidity 29 3 2 0 Updated Nov 14, 2024
  • cookiemonster Public

    Efficient On-device Budgeting for Differentially-Private Ad-Measurement Systems (SOSP '24)

    Jupyter Notebook 6 0 0 1 Updated Nov 6, 2024
  • dpack Public

    DPack: Efficiency-Oriented Privacy Budget Scheduling (EuroSys '25)

    Python 1 Apache-2.0 0 0 0 Updated Sep 10, 2024
  • alibaba-dp-workload Public

    Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace

    Python 6 Apache-2.0 1 0 0 Updated Sep 4, 2024
  • osdi23-paper114-ae Public

    Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".

    LLVM 15 GPL-2.0 1 1 0 Updated Aug 8, 2024
  • chromium Public Forked from chromium/chromium

    The official GitHub mirror of the Chromium source

    0 BSD-3-Clause 7,624 0 3 Updated Jun 30, 2024
  • quack Public

    Protect your PHP project from deserialization attacks! As seen on NDSS 2024

    Scala 5 0 0 0 Updated May 21, 2024
  • devtools-frontend Public Forked from ChromeDevTools/devtools-frontend

    The Chrome DevTools UI

    TypeScript 0 BSD-3-Clause 529 0 1 Updated Mar 13, 2024
  • depot_tools Public
    Python 0 BSD-3-Clause 0 0 0 Updated Mar 12, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…