R. Madhukar Yerraguntla

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Multi Context Systems

Information Flows

Security Systems

Top Venues

Publications

Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Secure Information Flow Typing in LUSTRE. CoRR (2022)
Sanjiva Prasad, R. Madhukar Yerraguntla
Normalising Lustre Preserves Security. ICTAC (2021)
Sanjiva Prasad, R. Madhukar Yerraguntla
Normalising Lustre Preserves Security. CoRR (2021)
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Security Types for Synchronous Data Flow Systems. MEMOCODE (2020)