secgroup@unive

Mignis is a semantic based tool for firewall configuration.

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

Language-independent Synthesis of Firewall Policies

TCP flow analyzer with sugar for A/D CTF

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

Forge your own CTF

Formal model of PUF-based protocols

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

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