|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Language based web security: the operational semantics approach
If you have a question about this talk, please contact Jonathan Hayman.
The goal of language based security is to develop applications that are provably secure by design. My recent research has focused on the development of programming-language and program-analysis techniques for enforcing web application security.
This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsSpecial DPMMS Colloquium CUEX Presents: On Foot Across China And Other Human Powered Adventures Workshop on Epigenetics in Gastrointestinal Health and Disease
Other talksEvolution of visual pigments in New and Old World warblers: from genes to function Café Synthetique Monopoles on circle bundles Recent updates to the WHO classification of tumours Dopaminergic mechanisms of drug addiction (title to be confirmed) Day 2 - Corporate Finance Theory Symposium 2015