Home‎ > ‎

Archived News

Tech Reports
  • Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, and Michal Moskal. Transparent Privacy Control via Static Information Flow Analysis. Microsoft Research Technical Report, MSR-TR-2011-93, 2 August, 2011.
    Download: [PDF]
  • Xusheng XiaoAmit Paradkar; Tao Xie. Automated Extraction and Validation of Security Policies from Natural-Language Documents. IBM Research Technical ReportRC25128, 2011.
    Download: [PDF]