Higher-Order π -RAT: A Calculus for Trusted Computing Andrew Cirillo joint work with James Riely DePaul University, CTI Chicago, IL USA TexPoint fonts.