What Can Programming Languages and Cryptography do for Security?

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?