Security Types for Synchronous Data Flow Systems. - Sanjiva Prasad; R. Madhukar Yerraguntla; Subodh Sharma 001 (MEMOCODE, 2020)

Normalising Lustre Preserves Security. - Sanjiva Prasad; R. Madhukar Yerraguntla (ICTAC, 2021)

Secure Information Flow Typing in LUSTRE. - Sanjiva Prasad; R. Madhukar Yerraguntla; Subodh Sharma 001 (CoRR, 2022)