Flexible Manipulation of Labeled Values for Information-Flow Control Libraries Marco Vassena1 , Pablo Buiras1 , Lucas Waye2 , and Alejandro Russo1 1 Chalmers University of Technology

First Page		Document Content
Date: 2017-02-20 11:18:04		Flexible Manipulation of Labeled Values for Information-Flow Control Libraries Marco Vassena1 , Pablo Buiras1 , Lucas Waye2 , and Alejandro Russo1 1 Chalmers University of Technology Add to Reading List Source URL: people.seas.harvard.edu Download Document from Source Website File Size: 233,63 KB Share Document on Facebook