Archivio: secure coding