SET /

WM2012ProSecSessionPart3

Chair: Alejandro

13.45PhuSecuring Intelligent Bots in Cloud-based Sustainability Governance Platforms
14.00ArnarBoosting the Permissiveness of Dynamic Information Flow Control by Testing
14.30PabloA functional framework for result checking
15.00Coffee...