What Can Programming Languages and Cryptography do for Security?
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:
Submitted by Elaine Shi
on
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:
Submitted by Elaine Shi
on