author : John C. Mitchell

Short works

• Probabilistic Polynomial-Time Equivalence and Security Analysis. 1999. (In FM'99 volume 1 )