WM2012ProSecSessionPart2

Chair: Phu

9.00	Bart	Static dataflow analysis for information flow security
9.30	Niklas	Paragon: Three open questions
9.45	Filippo	Transient faults mitigation via information flow control
10.00	Coffee	...