YangJean

Liquid information flow control

StefanDeian, PolikarpovaNadia, YangJean, 2020 .

A language for automatically enforcing privacy policies

YangJean, Solar-LezamaArmando, YessenovKuat, 2012 .

Research for Practice: Web Security and Mobile Web Computing

YangJean, ZhuYuhao, ReddiVijay Janapa, 2016 .

Secure distributed programming with value-dependent types

StrubPierre-Yves, YangJean, FournetCédric, 2011 .

Precise, dynamic information flow for database-backed applications

FlanaganCormac, YangJean, HanceTravis, 2016 .