Skip to content
Change the repository type filter

All

    Repositories list

    • Jupyter Notebook
      0001Updated Oct 22, 2024Oct 22, 2024
    • Who to email in the cs department?
      0300Updated Sep 25, 2024Sep 25, 2024
    • dpack

      Public
      Python
      Apache License 2.0
      0100Updated Sep 10, 2024Sep 10, 2024
    • Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace
      Python
      Apache License 2.0
      1400Updated Sep 4, 2024Sep 4, 2024
    • Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
      LLVM
      GNU General Public License v2.0
      0900Updated Aug 8, 2024Aug 8, 2024
    • chromium

      Public
      The official GitHub mirror of the Chromium source
      BSD 3-Clause "New" or "Revised" License
      7k003Updated Jun 30, 2024Jun 30, 2024
    • quack

      Public
      Protect your PHP project from deserialization attacks! As seen on NDSS 2024
      Scala
      0400Updated May 21, 2024May 21, 2024
    • SmartInv

      Public
      32210Updated May 17, 2024May 17, 2024
    • The Chrome DevTools UI
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      471001Updated Mar 13, 2024Mar 13, 2024
    • Python
      BSD 3-Clause "New" or "Revised" License
      0000Updated Mar 12, 2024Mar 12, 2024
    • rogueone

      Public
      Code for RogueOne, to be presented at ICSE 2024.
      JavaScript
      GNU General Public License v2.0
      0000Updated Feb 22, 2024Feb 22, 2024
    • Python
      0000Updated Dec 12, 2023Dec 12, 2023
    • turbo

      Public
      Effective caching in differentially-private databases
      Python
      Apache License 2.0
      01000Updated Nov 1, 2023Nov 1, 2023
    • Privacy Budget Orchestration in Machine Learning Workloads
      Python
      Apache License 2.0
      62402Updated Oct 20, 2023Oct 20, 2023
    • FunctionBench
      Python
      Apache License 2.0
      43000Updated Oct 11, 2023Oct 11, 2023
    • C
      Other
      4000Updated Oct 5, 2023Oct 5, 2023
    • grafana

      Public
      The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many more.
      TypeScript
      GNU Affero General Public License v3.0
      12k000Updated Sep 29, 2023Sep 29, 2023
    • Jupyter Notebook
      0200Updated Sep 25, 2023Sep 25, 2023
    • C
      Other
      0200Updated Sep 14, 2023Sep 14, 2023
    • Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.
      Python
      0501Updated Aug 23, 2023Aug 23, 2023
    • egalito

      Public
      Self-hosting binary instrumentation framework for security research
      C++
      GNU General Public License v3.0
      39209121Updated Aug 1, 2023Aug 1, 2023
    • C
      Other
      2000Updated Apr 24, 2023Apr 24, 2023
    • C
      Other
      0100Updated Apr 24, 2023Apr 24, 2023
    • xtern

      Public
      Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
      C++
      Other
      5601Updated Oct 23, 2022Oct 23, 2022
    • Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
      Coq
      GNU General Public License v3.0
      2510Updated Sep 6, 2022Sep 6, 2022
    • VIA

      Public
      Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
      Coq
      GNU General Public License v3.0
      1800Updated Jul 15, 2022Jul 15, 2022
    • Shell
      0200Updated Apr 26, 2022Apr 26, 2022
    • Shadow stack exercise from SSSS 2021
      C++
      Other
      0000Updated Nov 2, 2021Nov 2, 2021
    • scripts and content for Egalito Recompiler Evaluation artefact
      Python
      1200Updated Oct 28, 2021Oct 28, 2021
    • documentation for egalito
      C++
      2000Updated Oct 24, 2021Oct 24, 2021