Führen Sie überprüfbare Programme auf verschlüsselten Daten aus. Privat. Nachweisbar. Programmierbar. Portabel. Erweiterbar.