PLSE Seminar Series - J. Aldrich "Using Capability-Based Modules to Enforce Secure Resource Usage"

Explore a seminar on using capability-based modules to enforce secure resource usage in programming languages. Delve into the challenges of controlling resource access in current programming languages and discover how capabilities integrated into language and module systems can improve security. Learn about the formal effect system that allows reasoning about code effects without analyzing implementation. Examine design issues in capability-safe languages and explore security-related applications of capability-based modules. Gain insights from Jonathan Aldrich, Associate Professor of Computer Science at Carnegie Mellon University, as he shares his research on programming languages, type systems, and tools motivated by software engineering principles. Understand the development of the Wyvern programming language, featuring extensible syntax, a capability-based module system, and gradual verification.