Skip to content
@secgroup

secgroup@unive

Popular repositories Loading

  1. flower flower Public

    TCP flow analyzer with sugar for A/D CTF

    JavaScript 138 14

  2. ctforge ctforge Public

    Forge your own CTF

    HTML 46 10

  3. Mignis Mignis Public

    Mignis is a semantic based tool for firewall configuration.

    Python 42 7

  4. fws fws Public

    Language-independent Synthesis of Firewall Policies

    Haskell 25 8

  5. xxblind xxblind Public

    eXtremely fast data eXtraction via blind SQL injection

    Python 15 4

  6. gran gran Public

    Security analyser for Grsecurity RBAC policies.

    Python 9 2

Repositories

Showing 10 of 16 repositories
  • fuzzy-rainbow Public

    A fast and cost-effective design for FPGA-based fuzzy rainbow tradeoffs

    Python 0 MIT 0 0 0 Updated Jan 7, 2023
  • fws Public

    Language-independent Synthesis of Firewall Policies

    Haskell 25 MIT 8 2 22 Updated Jan 6, 2023
  • flower Public

    TCP flow analyzer with sugar for A/D CTF

    JavaScript 138 GPL-3.0 14 11 (3 issues need help) 18 Updated Dec 8, 2022
  • CloudHSM-model Public

    A Formally Verified Configuration for Hardware Security Modules in the Cloud: Tamarin model.

    0 MIT 0 0 0 Updated Nov 17, 2021
  • ctforge Public

    Forge your own CTF

    HTML 46 AGPL-3.0 10 4 0 Updated Jun 29, 2021
  • PUF-model Public

    Formal model of PUF-based protocols

    1 MIT 0 0 0 Updated Jan 10, 2021
  • bulwark-experiments Public

    Bulwark: Holistic and Verified Security Monitoring of Web Protocols (Models and Case Studies)

    Python 1 1 0 0 Updated Oct 29, 2020
  • Mignis Public

    Mignis is a semantic based tool for firewall configuration.

    Python 42 MIT 7 2 0 Updated Apr 1, 2019
  • robots-cm0470 Public

    Advanced Algorithms and Programming Methods (CM0470) Project Quick-Start Material

    C++ 3 0 0 0 Updated Dec 11, 2018
  • venetonight Public
    Python 0 1 0 0 Updated Sep 28, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…