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

Observability of complex systems YangYu Liu abcde JeanJacques Slotine fgh and AlbertLszl Barabsi abcdei Center for Complex Network Research and Departments of Physics Computer Science and Biology N

by mitsue-stanley

Although the simultaneous measurement of all inte...

Safe to the Last Instruction: Automated

by jane-oiler

Safe to the Last Instruction: Automated Verificati...