Pinned Repositories
bulwark-experiments
Bulwark: Holistic and Verified Security Monitoring of Web Protocols (Models and Case Studies)
ctforge
Forge your own CTF
flower
TCP flow analyzer with sugar for A/D CTF
fws
Language-independent Synthesis of Firewall Policies
gran
Security analyser for Grsecurity RBAC policies.
granalyze
Mignis
Mignis is a semantic based tool for firewall configuration.
PUF-model
Formal model of PUF-based protocols
robots-cm0470
Advanced Algorithms and Programming Methods (CM0470) Project Quick-Start Material
xxblind
eXtremely fast data eXtraction via blind SQL injection
secgroup@unive's Repositories
secgroup/flower
TCP flow analyzer with sugar for A/D CTF
secgroup/ctforge
Forge your own CTF
secgroup/Mignis
Mignis is a semantic based tool for firewall configuration.
secgroup/fws
Language-independent Synthesis of Firewall Policies
secgroup/xxblind
eXtremely fast data eXtraction via blind SQL injection
secgroup/gran
Security analyser for Grsecurity RBAC policies.
secgroup/robots-cm0470
Advanced Algorithms and Programming Methods (CM0470) Project Quick-Start Material
secgroup/bulwark-experiments
Bulwark: Holistic and Verified Security Monitoring of Web Protocols (Models and Case Studies)
secgroup/granalyze
secgroup/PUF-model
Formal model of PUF-based protocols
secgroup/CloudHSM-model
A Formally Verified Configuration for Hardware Security Modules in the Cloud: Tamarin model.
secgroup/fuzzy-rainbow
A fast and cost-effective design for FPGA-based fuzzy rainbow tradeoffs
secgroup/MTFGatheRing
secgroup/write-ups-2015
Wiki-like CTF write-ups repository, maintained by the community. 2015
secgroup/p11d
secgroup/venetonight