Repositories list

• ctf-template

  Public
  Docker template for TKCTF

  ctf

  Python

  •7•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• RAKIS

  Public
  RAKIS : Secure Fast I/O Primitives Across Trust Boundaries on Intel SGX

  C

  •

  GNU Lesser General Public License v3.0

  •201•0•0•0•Updated Sep 17, 2024Sep 17, 2024

• MALintent

  Public
  Rust

  •0•0•1•0•Updated Sep 13, 2024Sep 13, 2024

• UniAlloc

  Public
  Rust

  •0•0•0•0•Updated Mar 9, 2024Mar 9, 2024

• Rudra

  Public
  Rust Memory Safety & Undefined Behavior Detection

  Rust

  •

  Apache License 2.0

  •43•1.3k•6•0•Updated Mar 9, 2024Mar 9, 2024

• Sense

  Public
  Code for Sense (NDSS'24)

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •0•7•0•0•Updated Mar 3, 2024Mar 3, 2024

• Rudra-PoC

  Public
  Trophy case for Rudra bugs.

  Rust

  •4•37•1•0•Updated Feb 12, 2024Feb 12, 2024

• sgx101-gitbook

  Public
  Synced with SGX101 gitbook.

  11•30•0•1•Updated Dec 7, 2023Dec 7, 2023

• DIE

  Public archive
  Fuzzing JavaScript Engines with Aspect-preserving Mutation

  TypeScript

  •

  MIT License

  •41•222•10•1•Updated Oct 18, 2023Oct 18, 2023

• AndroidCoverageAgent

  Public
  Coverage gathering JVMTI agent for Android

  C++

  •1•6•0•0•Updated Oct 11, 2023Oct 11, 2023

• autofz

  Public
  autofz: Automated Fuzzer Composition at Runtime

  C

  •

  MIT License

  •10•76•2•0•Updated Sep 13, 2023Sep 13, 2023

• ACon2

  Public
  Solidity

  •

  MIT License

  •2•3•0•0•Updated Aug 6, 2023Aug 6, 2023

• blockchain-lab-template

  Public
  Python

  •1•0•0•0•Updated Mar 13, 2023Mar 13, 2023

• blockchain-lab-pwneth

  Public
  Solidity

  •0•11•0•0•Updated Feb 17, 2023Feb 17, 2023

• RoboFuzz

  Public
  Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems

  Python

  •

  MIT License

  •6•15•0•0•Updated Feb 15, 2023Feb 15, 2023

• winnie

  Public
  Winnie is an end-to-end system that makes fuzzing Windows applications easy

  windowsfuzzingafl-fuzz+ 1winafl

  C

  •

  MIT License

  •74•542•15•0•Updated Nov 28, 2022Nov 28, 2022

• qsym

  Public archive
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

  binaryfuzzingconcolic-execution+ 1hybrid-fuzzing

  C++

  •

  Other

  •135•632•8•0•Updated Nov 23, 2022Nov 23, 2022

• freedom

  Public
  A DOM fuzzer

  Python

  •

  MIT License

  •25•143•4•0•Updated Aug 18, 2022Aug 18, 2022

• hydra

  Public
  Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems

  C

  •

  MIT License

  •25•158•6•0•Updated Aug 8, 2022Aug 8, 2022

• Pridwen

  Public
  Universally Hardening SGX Programs via Load-Time Synthesis

  C++

  •1•7•1•0•Updated May 25, 2022May 25, 2022

• lkl

  Public
  C

  •

  Other

  •1•2•0•0•Updated May 16, 2022May 16, 2022

• sgx101

  Public
  A place to start designing application with Intel SGX in mind.

  HTML

  •

  Other

  •4•2•0•1•Updated Apr 24, 2022Apr 24, 2022

• DrK

  Public
  The DrK Attack - Proof of concept

  Python

  •

  MIT License

  •67•341•0•0•Updated Mar 13, 2022Mar 13, 2022

• SNAP

  Public
  C

  •2•12•1•0•Updated Dec 30, 2021Dec 30, 2021

• fuzzification

  Public
  We hinder fuzzing

  C

  •9•64•6•1•Updated Dec 27, 2021Dec 27, 2021

• krace

  Public
  Source code release for the KRace project

  Python

  •

  MIT License

  •8•27•2•0•Updated Nov 15, 2021Nov 15, 2021

• libmpk

  Public archive
  C

  •

  MIT License

  •6•48•2•1•Updated Nov 15, 2021Nov 15, 2021

• eCS

  Public
  Enlightened Critical Sections

  C

  •

  GNU General Public License v2.0

  •3•4•0•0•Updated Nov 15, 2021Nov 15, 2021

• latr

  Public
  Latr: Lazy Translation Coherence - ASPLOS'18

  C

  •

  GNU General Public License v2.0

  •6•10•0•0•Updated Nov 15, 2021Nov 15, 2021

• shfllock

  Public
  C

  •24•40•0•0•Updated Nov 15, 2021Nov 15, 2021