IBOS: A Correct-By-Construction Modular Browser

Abstract

Current web browsers are complex, have enormous trusted computing bases, and provide attackers with easy access to computer systems. This makes web browser security a difficult issue that increases in importance as more and more applications move to the web. Our approach for this challenge is to design and build a correct-by-construction web browser, called… (More)
DOI: 10.1007/978-3-642-35861-6_14

Topics

2 Figures and Tables

Slides referencing similar topics