SET /
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 | ... |