Logical Relations for Encryption
Logical Relations for Encryption
Logical Relations for Encryption
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Example<br />
A program p(i) consisting of<br />
— a secret integer i and<br />
— an interface function λx. x mod 2<br />
• In<strong>for</strong>mation hiding by type abstraction<br />
p(i) = pack int, 〈i, λx. x mod 2〉<br />
as ∃α. α × (α → int)