SE547: : [1/1]

  1. Andy - Proof Carrying Code
  2. Mike - Proof Carrying Authentication
  3. Peter - Quantitative information flow