Sanjiva Prasad

According to our database, Sanjiva Prasad authored at least 37 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Secure information flow connections.

Chandrika Bhardwaj, Sanjiva Prasad

J. Log. Algebraic Methods Program., 2022

Secure Information Flow Typing in LUSTRE.

Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma

CoRR, 2022

2021

Normalising Lustre Preserves Security.

Sanjiva Prasad, R. Madhukar Yerraguntla

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Security Types for Synchronous Data Flow Systems.

Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2019

Only Connect, Securely.

Chandrika Bhardwaj, Sanjiva Prasad

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring.

Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shubham Gupta, Shikhar Tuli

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines.

Sanjiva Prasad

J. Log. Algebraic Methods Program., 2018

Lightweight Classification of IoT Malware Based on Image Recognition.

Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines.

Sanjiva Prasad

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

2016

Pravah: Parameterised Information Flow Control in e-Health.

Chandrika Bhardwaj, Sanjiva Prasad

Scalable Comput. Pract. Exp., 2016

Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures.

Rajesh Kumar Pal, Ierum Shanaya, Kolin Paul, Sanjiva Prasad

Future Gener. Comput. Syst., 2016

Self-Similarity Breeds Resilience.

Sanjiva Prasad, Lenore D. Zuck

Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

Program Execution on Reconfigurable Multicore Architectures.

Sanjiva Prasad

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

prasavGraph: Android based Labour Monitoring.

Shalini Singh, Kolin Paul, Geeta Yadav, Sanjiva Prasad

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

2015

A Switch, in Time.

Lenore D. Zuck, Sanjiva Prasad

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Designing for Scalability and Trustworthiness in mHealth Systems.

Sanjiva Prasad

Proceedings of the Distributed Computing and Internet Technology, 2015

Limited Mobility, Eventual Stability.

Lenore D. Zuck, Sanjiva Prasad

Proceedings of the Hardware and Software: Verification and Testing, 2015

Parametric information flow control in ehealth.

Chandrika Bhardwaj, Sanjiva Prasad

Proceedings of the 17th International Conference on E-health Networking, 2015

2014

ReKonf: Dynamically reconfigurable multiCore architecture.

Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad

J. Parallel Distributed Comput., 2014

Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures.

Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

mDROID - An Affordable Android based mHealth System.

Anju Kansal, Avval Gupta, Kolin Paul, Sanjiva Prasad

Proceedings of the HEALTHINF 2014, 2014

A Modular Android-Based Multi-sensor mHealth System.

Avval Gupta, Anju Kansal, Kolin Paul, Sanjiva Prasad

Proceedings of the Biomedical Engineering Systems and Technologies, 2014

2012

ReKonf: A Reconfigurable Adaptive ManyCore Architecture.

Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad

Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

2010

An Operational Model for Multiprocessors with Caches.

Salil Joshi, Sanjiva Prasad

Proceedings of the Theoretical Computer Science, 2010

Universal rich presence framework for intelligent call management.

Abhishek Prateek, Hridayesh Gupta, Sanjiva Prasad

Proceedings of the 4th International Conference on Ubiquitous Information Management and Communication, 2010

2007

An axiomatic basis for communication.

Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg

Proceedings of the ACM SIGCOMM 2007 Conference on Applications, 2007

2006

An Axiomatic Basis for Communication.

Martin Karsten, Srinivasan Keshav, Sanjiva Prasad

Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

2005

Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting.

Rahul Agarwal, Mahender Bisht, S. N. Maheshwari, Sanjiva Prasad

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

Effective Chemistry for Synchrony and Asynchrony.

Deepak Garg, Akash Lal, Sanjiva Prasad

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2002

Introduction to Operational Semantics.

Sanjiva Prasad, S. Arun-Kumar

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

2000

Modelling IP Mobility.

Roberto M. Amadio, Sanjiva Prasad

Formal Methods Syst. Des., 2000

Reflecting BDDs in Coq.

Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar

Proceedings of the Advances in Computing Science, 2000

1999

The Game of the Name in Cryptographic Tables.

Roberto M. Amadio, Sanjiva Prasad

Proceedings of the Advances in Computing Science, 1999

1996

Models for Mobile Computing Agents.

Sanjiva Prasad

ACM Comput. Surv., 1996

1994

Localities and Failures (Extended Abstract).

Roberto M. Amadio, Sanjiva Prasad

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1990

Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.

Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

Facile: A symmetric integration of concurrent and functional programming.

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad

Int. J. Parallel Program., 1989