columbia/egalito-artefact columbia/egalito-artefact

  • Stars
    star
    2
  • Language
    Python
  • Created almost 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
columbia/egalito-artefact
github

columbia

Reviews

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

Repository Details

scripts and content for Egalito Recompiler Evaluation artefact

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

turbo-artifact

Jupyter Notebook
2
star
34

appflow-dataset

HTML
1
star
35

android_platform_dalvik

Assembly
1
star
36

tdroid-snu

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

linux-2.6-mutable

Mutable replay in the kernel
C
1
star
38

cr-tests

Checkpoint/Restart test suie
C
1
star
39

osdi22-paper162-ae

Shell
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