secgroup@unive

fws Public
Language-independent Synthesis of Firewall Policies

Haskell 24 MIT 6 2 12 Updated Jan 15, 2022
flower Public
TCP flow analyzer with sugar for A/D CTF

JavaScript 96 GPL-3.0 16 11 (3 issues need help) 13 Updated Jan 13, 2022
fuzzy-rainbow Public
A fast and cost-effective design for FPGA-based fuzzy rainbow tradeoffs

Python 0 MIT 0 0 0 Updated Dec 20, 2021
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 32 AGPL-3.0 11 4 0 Updated Jun 29, 2021
PUF-model Public
Formal model of PUF-based protocols

0 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 0 1 0 0 Updated Oct 29, 2020
Mignis Public
Mignis is a semantic based tool for firewall configuration.

Python 43 MIT 6 2 0 Updated Apr 1, 2019
robots-cm0470 Public
Advanced Algorithms and Programming Methods (CM0470) Project Quick-Start Material

C++ 2 0 0 0 Updated Dec 11, 2018
venetonight Public

Python 0 1 0 0 Updated Sep 28, 2018

Popular repositories