Toward principled browser security (2013)

First Author: Yang E.Z.
Attributed to:  Program Verification Techniques for Understanding Security Properties of Software funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: 14th Workshop on Hot Topics in Operating Systems, HotOS 2013