Here you can find a list of the tools developed within the unit.
ACE

ACE

AC state-change rule extraction procedurE
ACME

ACME

Access Control Mechanisms Evaluator
CryptoAC

CryptoAC

Cryptographic Access Control