Open-Source Projects

Below is a selection of software projects derived from the approaches proposed in my research. It includes repositories I independently manage, alongside collaborative and third-party implementations.

F2F

A tool for checking the expressivity of firewall policies in iptables, pf, ipfw.

• Link: https://github.com/lceragioli/F2F
• Main Developer: Lorenzo Ceragioli

FWS

A tool for analyzing, maintaining and transcompiling firewall configurations in iptables, pf, ipfw.

• Link: https://github.com/secgroup/fws
• Main Developers: Lorenzo Ceragioli and Lorenzo Veronese

IFCIL

A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier.

• Link: https://github.com/lceragioli/SELinuxIFCIL
• Main Developer: Lorenzo Ceragioli

OCamlCIL

An executable semantics for SELinux CIL configuration language in OCaml.

• Link: https://github.com/lceragioli/SELinuxCILSemantics
• Main Developer: Lorenzo Ceragioli

Mordente

A model checker for differential analysis of information flow in SEAndroid configurations.

• Link: https://github.com/edoxthebest/Mordente
• Main Developer: Edoardo Lunati

IoT:Poker

A tool for verifying information flow properties of AWS IoT configurations.

• Link: https://github.com/edoxthebest/IoTPoker
• Main Developer: Edoardo Lunati

QUARC

A toolkit for the verification of quantum communication protocols expressed in the lqCCS process algebra.

• Link: https://github.com/glomurno/QUARC
• Main Developer: Giuseppe Lomurno