columbia/osdi22-paper162-ae columbia/osdi22-paper162-ae

  • Stars
    star
    1
  • Language
    Shell
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
columbia/osdi22-paper162-ae
github

columbia

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

egalito

Self-hosting binary instrumentation framework for security research
C++
207
star
2

pixeldp

Python
59
star
3

fairtest

Python
55
star
4

Metric_Learning_Adversarial_Robustness

Code for NeurIPS 2019 Paper
Python
49
star
5

crane

Transparent Paxos
C++
44
star
6

libtrack

Library wrapper and system-level tracing utilities
Python
43
star
7

smt-mc

The Parrot stable and deterministic multi-threading system.
C
24
star
8

PrivateKube

Privacy Budget Orchestration in Machine Learning Workloads
Python
23
star
9

xray

Transparency for Web Services
Ruby
20
star
10

MTRobust

Python
20
star
11

sunlight

Ruby
20
star
12

ArgusDebugger

Diagnose performance issues in macOS based on mac_tracing.
C++
18
star
13

appflow

Python
17
star
14

appdoctor

AppDoctor
Java
15
star
15

SmartInv

14
star
16

woodpecker

Woodpecker: Verifying systems rules using rule-directed symbolic execution
C
13
star
17

turbo

Effective caching in differentially-private databases
Python
10
star
18

osdi23-paper114-ae

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

VIA

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

xtern

Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
C++
6
star
21

user-cr

Userspace part of Linux Checkpoint/Restart
C
5
star
22

nesting-pub

4
star
23

mac_tracing

Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.
Python
4
star
24

osdi-paper196-ae

Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Coq
4
star
25

alibaba-dp-workload

Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace
Python
4
star
26

grandet

A Unified, Economical Object Store for Web Applications
C++
3
star
27

quack

Protect your PHP project from deserialization attacks! As seen on NDSS 2024
Scala
3
star
28

pyramid-release

Scala
3
star
29

android_vendor_columbia_build

Columbia SSL Android build configuration / kernel integration
C
3
star
30

dvh-asplos-ae

DVH - Artifacts Evaluation for ASPLOS 2020
Shell
2
star
31

fall23-os2-qemu

C
2
star
32

mreplay

Mutable Replay
Python
2
star
33

egalito-artefact

scripts and content for Egalito Recompiler Evaluation artefact
Python
2
star
34

turbo-artifact

Jupyter Notebook
2
star
35

appflow-dataset

HTML
1
star
36

android_platform_dalvik

Assembly
1
star
37

tdroid-snu

Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.
1
star
38

linux-2.6-mutable

Mutable replay in the kernel
C
1
star
39

cr-tests

Checkpoint/Restart test suie
C
1
star
40

libscribe-racepro

Scribe user-space library
C
1
star
41

osdi23-paper114-qemu

C
1
star
42

linux-2.6-racepro

Scribe: the record-replay mechanism
C
1
star
43

libscribe-mutable

C
1
star
44

transparency

1
star
45

racepro-bundle

The racepro deployment tool
Ruby
1
star
46

py-scribe-racepro

Scribe python bindings and Scribe userspace tools
Python
1
star
47

py-scribe-mutable

Python
1
star
48

appflow_data

Data for AppFlow project
1
star