35 citations · 37 across the 7 of their papers we have counts for
8 papers
Secure Information Flow Typing in LUSTRE
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Synchronous reactive data flow is a paradigm that provides a high-level abstract programming model for embedded and cyber-physical systems, including the locally synchronous compon…
Normalising Lustre Preserves Security
Sanjiva Prasad, R. Madhukar Yerraguntla
The synchronous reactive data flow language LUSTRE is an expressive language, equipped with a suite of tools for modelling, simulating and model-checking a wide variety of safety-c…
Secure Information Flow Connections
Chandrika Bhardwaj, Sanjiva Prasad
Denning's lattice model provided secure information flow analyses with an intuitive mathematical foundation: the lattice ordering determines permitted flows. We examine how this fr…
Only Connect, Securely
Chandrika Bhardwaj, Sanjiva Prasad
The lattice model proposed by Denning in her seminal work provided secure information flow analyses with an intuitive and uniform mathematical foundation. Different organisations,…
Lightweight Classification of IoT Malware based on Image Recognition
Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad +3
The Internet of Things (IoT) is an extension of the traditional Internet, which allows a very large number of smart devices, such as home appliances, network cameras, sensors and c…
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines
Sanjiva Prasad
Energy consumption is a major concern in multicore systems. Perhaps the simplest strategy for reducing energy costs is to use only as many cores as necessary while still being able…
Self-Similarity Breeds Resilience
Sanjiva Prasad, Lenore D. Zuck
Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience t…
Program Execution on Reconfigurable Multicore Architectures
Sanjiva Prasad
Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different r…