5 papers
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…
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…