http://www.dmi.unict.it/~giamp/
This is an unofficial reimagining of the Archive of Formal Proofs
Inductive Study of Confidentialityby Giampaolo Bella