Computable Secrets: computer science from first principles