Skip to content
Change the repository type filter

All

    Repositories list

    • Source code for "Verifying Loot-Box Probability Without Source-Code Disclosure"
      C++
      0000Updated Nov 22, 2024Nov 22, 2024
    • Uncovering Recurring Vulnerabilities through Taint-Extracted Operator Sequences
      0000Updated Aug 27, 2024Aug 27, 2024
    • Investigating Advertisers’ Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists
      Jupyter Notebook
      0100Updated Aug 23, 2024Aug 23, 2024
    • Risky Cohabitation: Understanding and Addressing Over-privilege Risks of Commodity Application Virtualization Platforms in Android
      Java
      0000Updated Jun 19, 2024Jun 19, 2024
    • toy implementation of "HeadStart: Efficiently Verifiable and Low-Latency Participatory Randomness Generation at Scale"
      Python
      0000Updated May 12, 2024May 12, 2024
    • Rust
      0000Updated May 9, 2024May 9, 2024
    • chiavdf

      Public
      C++
      Apache License 2.0
      0000Updated May 9, 2024May 9, 2024
    • Captive Portal and Mini-Browsers Security Analysis Tool
      JavaScript
      1000Updated Jul 6, 2023Jul 6, 2023
    • A simulator for testing/verifying/benchmarking Byzantine Fault-Tolerant (BFT) protocols.
      JavaScript
      71510Updated Mar 21, 2023Mar 21, 2023
    • headstart

      Public
      C++
      BSD 3-Clause "New" or "Revised" License
      0000Updated Nov 10, 2022Nov 10, 2022
    • Python
      0010Updated Mar 14, 2022Mar 14, 2022
    • ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
      Jupyter Notebook
      113900Updated Sep 15, 2021Sep 15, 2021
    • C++
      01210Updated Feb 20, 2021Feb 20, 2021
    • On the Privacy Risks of Compromised Trigger-Action Platforms
      Shell
      0000Updated Jul 11, 2020Jul 11, 2020
    • instrim

      Public
      InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
      C++
      MIT License
      58450Updated Jun 21, 2020Jun 21, 2020
    • mobula

      Public
      Mobula: Mesh Obfuscated Local Area Network
      Shell
      MIT License
      0710Updated Apr 26, 2019Apr 26, 2019
    • 2000Updated Apr 8, 2019Apr 8, 2019
    • SafeChain

      Public
      Python
      1500Updated Apr 8, 2019Apr 8, 2019
    • damup

      Public
      DAMUP: Practical and Privacy-aware Cloud-based DDoS Mitigation
      0000Updated Apr 7, 2019Apr 7, 2019
    • sniproxy

      Public
      Proxies incoming HTTP and TLS connections based on the hostname contained in the initial request of the TCP session.
      C
      BSD 2-Clause "Simplified" License
      400000Updated Aug 22, 2018Aug 22, 2018