WM2012ProSecSessionPart3

Chair: Alejandro

13.45	Phu	Securing Intelligent Bots in Cloud-based Sustainability Governance Platforms
14.00	Arnar	Boosting the Permissiveness of Dynamic Information Flow Control by Testing
14.30	Pablo	A functional framework for result checking
15.00	Coffee	...