Here you can find a list of the tools developed within the unit.
ACE
AC state-change rule extraction procedurE
ACME
Access Control Mechanisms Evaluator
CryptoAC
Cryptographic Access Control
