saligrama / securescopeLinks
An autograder base Docker image for Gradescope with improved security
☆18Updated 2 years ago
Alternatives and similar repositories for securescope
Users that are interested in securescope are comparing it to the libraries listed below
Sorting:
- LL1 by Team , made with☆11Updated 3 years ago
- The website for ACM@UIUC☆11Updated this week
- Course selection made easy☆19Updated last year
- A tool to easily archive CTFd sites to GitHub Pages☆43Updated last week
- The code for Hotseat!☆17Updated 10 months ago
- Post Processor for Facebook Static Analysis Tools.☆142Updated 3 weeks ago
- Challenge source code and deployment scripts for UIUCTF 2021☆15Updated 4 years ago
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- ☆13Updated 2 years ago
- Attempts at fuzzing Python unpicklers☆39Updated last year
- ☆11Updated 2 months ago
- ☆452Updated 3 years ago
- ☆42Updated 2 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆292Updated this week
- Source for BuckeyeCTF 2022 challenges☆28Updated 3 years ago
- redpwn's challenge deployment system☆28Updated last year
- GoFetch: Breaking Constant-Time Cryptographic Implementations Using Data Memory-Dependent Prefetchers -- USENIX Security'24☆269Updated last year
- Artifact Repository for the paper "Prime+Probe 1, JavaScript 0: Overcoming Browser-based Side-Channel Defenses"☆40Updated 3 years ago
- Materials from the DEF CON 30 talk on PACMAN☆34Updated 3 years ago
- visualizing CTF clusters (teams playing together at DEFCON quals 2022)☆42Updated 2 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆269Updated last year
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆583Updated 7 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆354Updated last year
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- Student Starter Code for Secure Hardware Design at MIT☆81Updated last year
- Slides from our technical talks☆28Updated last month
- SMT based attacks on non cryptographic PRNGs☆87Updated 2 years ago
- CVE-2022-32947 walkthough and demo☆187Updated 2 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆480Updated 3 weeks ago
- CodeQL queries developed by Trail of Bits☆135Updated 3 weeks ago