CSE Colloquium: Making Systems Secure with Information Flow
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAPresenter: Andrew Myers, Cornell University Abstract: Modern civilization depends on complex, interconnected software systems that must safeguard trustworthy or private data. We have ever-growing mountains of code yet lack principled ways to build large systems that are secure. What is missing is a way to securely build these systems compositionally: module by module and layer […]