Tagged secure-programming