GeezerVison is showing github.com — secgroup@unive
Popular repositories
Loading
TCP flow analyzer with sugar for A/D CTF
JavaScript
145
15
Forge your own CTF
HTML
50
10
Mignis is a semantic based tool for firewall configuration.
Python
45
6
Language-independent Synthesis of Firewall Policies
Haskell
27
8
eXtremely fast data eXtraction via blind SQL injection
Python
14
4
Security analyser for Grsecurity RBAC policies.
Python
10
2
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
CSS
Haskell
HTML
JavaScript
Python
Sort
Showing 10 of 16 repositories
Mignis
Public
Mignis is a semantic based tool for firewall configuration.
secgroup/Mignis's past year of commit activity
Python
45
MIT
6
1
0
Updated Oct 21, 2026
fuzzy-rainbow
Public
A fast and cost-effective design for FPGA-based fuzzy rainbow tradeoffs
secgroup/fuzzy-rainbow's past year of commit activity
Python
0
MIT
1
0
0
Updated Jan 7, 2023
fws
Public
Language-independent Synthesis of Firewall Policies
secgroup/fws's past year of commit activity
Haskell
27
MIT
8
2
22
Updated Jan 6, 2023
flower
Public
TCP flow analyzer with sugar for A/D CTF
secgroup/flower's past year of commit activity
CloudHSM-model
Public
A Formally Verified Configuration for Hardware Security Modules in the Cloud: Tamarin model.
secgroup/CloudHSM-model's past year of commit activity
0
MIT
0
0
0
Updated Nov 17, 2021
secgroup/ctforge's past year of commit activity
HTML
50
AGPL-3.0
10
4
0
Updated Jun 29, 2021
PUF-model
Public
Formal model of PUF-based protocols
secgroup/PUF-model's past year of commit activity
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)
secgroup/bulwark-experiments's past year of commit activity
Python
1
1
0
0
Updated Oct 29, 2020
robots-cm0470
Public
Advanced Algorithms and Programming Methods (CM0470) Project Quick-Start Material
secgroup/robots-cm0470's past year of commit activity
C++
3
0
0
0
Updated Dec 11, 2018
secgroup/venetonight's past year of commit activity
Python
0
1
0
0
Updated Sep 28, 2018
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.