Skip to content
Change the repository type filter

All

    Repositories list

    • A fast and cost-effective design for FPGA-based fuzzy rainbow tradeoffs
      Python
      MIT License
      0000Updated Jan 7, 2023Jan 7, 2023
    • fws

      Public
      Language-independent Synthesis of Firewall Policies
      Haskell
      MIT License
      723222Updated Jan 6, 2023Jan 6, 2023
    • flower

      Public
      TCP flow analyzer with sugar for A/D CTF
      JavaScript
      GNU General Public License v3.0
      141381118Updated Dec 8, 2022Dec 8, 2022
    • A Formally Verified Configuration for Hardware Security Modules in the Cloud: Tamarin model.
      MIT License
      0000Updated Nov 17, 2021Nov 17, 2021
    • ctforge

      Public
      Forge your own CTF
      HTML
      GNU Affero General Public License v3.0
      104540Updated Jun 29, 2021Jun 29, 2021
    • PUF-model

      Public
      Formal model of PUF-based protocols
      MIT License
      0100Updated Jan 10, 2021Jan 10, 2021
    • Bulwark: Holistic and Verified Security Monitoring of Web Protocols (Models and Case Studies)
      Python
      1100Updated Oct 29, 2020Oct 29, 2020
    • Mignis

      Public
      Mignis is a semantic based tool for firewall configuration.
      Python
      MIT License
      74220Updated Apr 1, 2019Apr 1, 2019
    • Advanced Algorithms and Programming Methods (CM0470) Project Quick-Start Material
      C++
      0300Updated Dec 11, 2018Dec 11, 2018
    • Python
      1000Updated Sep 28, 2018Sep 28, 2018
    • p11d

      Public
      C
      MIT License
      0000Updated Aug 23, 2017Aug 23, 2017
    • Python
      MIT License
      0000Updated Mar 1, 2016Mar 1, 2016
    • Wiki-like CTF write-ups repository, maintained by the community. 2015
      CSS
      721000Updated May 19, 2015May 19, 2015
    • granalyze

      Public
      Python
      0100Updated Jun 19, 2014Jun 19, 2014
    • xxblind

      Public
      eXtremely fast data eXtraction via blind SQL injection
      Python
      41400Updated Aug 15, 2012Aug 15, 2012
    • gran

      Public
      Security analyser for Grsecurity RBAC policies.
      Python
      MIT License
      2900Updated Apr 16, 2012Apr 16, 2012