Researchers interested in security often wish to introduce new primitives into a language. Extensible languages hold promise in such scenarios, but only if the extension mechanism is sufï¬ciently safe and expressive. This paper describes several modiï¬cations to an extensible language motivated by end-to-end security concerns.
I double majored in Computer Science and Mathematics at Carthage College. As an undergraduate, I worked in Mark Mahoney’s Storyteller group and spent a summer at Carnegie Mellon working on extensible languages and security in Jonathan Aldrich’s group.