What Can Programming Languages and Cryptography do for Security?

Download
pdf

Abstract: Research in programming languages and cryptography both emphasize formal and compositional security and are both cornerstones in the science of cybersecurity. We aim to discuss how joint work in these communities can help improve the way we construct secure systems and the way we prove them secure. We plan to discuss questions such as:

  • What are the exciting recent results at the intersection of PL & Crypto?
  • What near-term, medium-term, and longer-term goals should we set as a community-wide agenda?
  • What difficult scientific challenges can we hope to resolve by bringing together PL and cryptography?
Tags:
License: CC-2.5
Submitted by Elaine Shi on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.