Security Types for Synchronous Data Flow Systems.

Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma

Browse the full MEMOCODE paper archive.