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.
Overview<br />
• Introduction<br />
• The cryptographic λ-calculus<br />
• <strong>Logical</strong> relations<br />
• Application: protocol encoding<br />
• Extensions<br />
• Related work<br />
• Conclusion