Search Results for 'yang jean'

yang jean published presentations and documents on DocSlides.

A Language for Automatically Enforcing Privacy

by pamella-moone

Jean Yang. with . Kuat. . Yessenov. and. Armand...

A Framework for Automatically Enforcing Privacy Policies

by tawny-fly

Jean Yang. MSRC / October 15, 2013. Privacy matte...

Safe to the Last Instruction:

by test

Automated Verification of a Type-Safe Operating S...

Precise, Dynamic Information Flow for Database-Backed Applications

by molly

Jean Yang, Travis . Hance. , Thomas H. Austin, Arm...

Safe to the Last Instruction: Automated

by jane-oiler

Safe to the Last Instruction: Automated Verificati...