Sanjiva Prasad

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 22

Top Topics

Automatic Registration

Reconfigurable Architecture

Energy Efficient

Top Venues

J. Log. Algebraic Methods Program.

Publications

Chandrika Bhardwaj, Sanjiva Prasad
Secure information flow connections. J. Log. Algebraic Methods Program. 127 (2022)
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)
Chandrika Bhardwaj, Sanjiva Prasad
Secure Information Flow Connections. CoRR (2020)
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Security Types for Synchronous Data Flow Systems. MEMOCODE (2020)
Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shubham Gupta, Shikhar Tuli
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring. DAC (2019)
Chandrika Bhardwaj, Sanjiva Prasad
Only Connect, Securely. CoRR (2019)
Chandrika Bhardwaj, Sanjiva Prasad
Only Connect, Securely. FORTE (2019)
Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai
Lightweight Classification of IoT Malware Based on Image Recognition. COMPSAC (2) (2018)
Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai
Lightweight Classification of IoT Malware based on Image Recognition. CoRR (2018)
Sanjiva Prasad
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. J. Log. Algebraic Methods Program. 100 (2018)
Sanjiva Prasad
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines. PLACES@ETAPS (2017)
Chandrika Bhardwaj, Sanjiva Prasad
Pravah: Parameterised Information Flow Control in e-Health. Scalable Comput. Pract. Exp. 17 (3) (2016)
Rajesh Kumar Pal, Ierum Shanaya, Kolin Paul, Sanjiva Prasad
Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures. Future Gener. Comput. Syst. 56 (2016)
Sanjiva Prasad, Lenore D. Zuck
Self-Similarity Breeds Resilience. EXPRESS/SOS (2016)
Shalini Singh, Kolin Paul, Geeta Yadav, Sanjiva Prasad
prasavGraph: Android based Labour Monitoring. HEALTHINF (2016)
Sanjiva Prasad
Program Execution on Reconfigurable Multicore Architectures. PLACES (2016)
Sanjiva Prasad
Designing for Scalability and Trustworthiness in mHealth Systems. ICDCIT (2015)
Chandrika Bhardwaj, Sanjiva Prasad
Parametric information flow control in ehealth. HealthCom (2015)
Lenore D. Zuck, Sanjiva Prasad
A Switch, in Time. TGC (2015)
Lenore D. Zuck, Sanjiva Prasad
Limited Mobility, Eventual Stability. Haifa Verification Conference (2015)
Anju Kansal, Avval Gupta, Kolin Paul, Sanjiva Prasad
mDROID - An Affordable Android based mHealth System. HEALTHINF (2014)
Avval Gupta, Anju Kansal, Kolin Paul, Sanjiva Prasad
A Modular Android-Based Multi-sensor mHealth System. BIOSTEC (Selected Papers) (2014)
Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad
Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures. HPCC/CSS/ICESS (2014)
Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad
ReKonf: Dynamically reconfigurable multiCore architecture. J. Parallel Distributed Comput. 74 (11) (2014)
Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad
ReKonf: A Reconfigurable Adaptive ManyCore Architecture. ISPA (2012)
Abhishek Prateek, Hridayesh Gupta, Sanjiva Prasad
Universal rich presence framework for intelligent call management. ICUIMC (2010)
Salil Joshi, Sanjiva Prasad
An Operational Model for Multiprocessors with Caches. IFIP TCS (2010)
Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg
An axiomatic basis for communication. SIGCOMM (2007)
Martin Karsten, Srinivasan Keshav, Sanjiva Prasad
An Axiomatic Basis for Communication. HotNets (2006)
Rahul Agarwal, Mahender Bisht, S. N. Maheshwari, Sanjiva Prasad
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting. ICDCIT (2005)
Deepak Garg, Akash Lal, Sanjiva Prasad
Effective Chemistry for Synchrony and Asynchrony. IFIP TCS (2004)
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
Reflecting BDDs in Coq. ASIAN (2000)
Roberto M. Amadio, Sanjiva Prasad
Modelling IP Mobility. Formal Methods Syst. Des. 17 (1) (2000)
Roberto M. Amadio, Sanjiva Prasad
The Game of the Name in Cryptographic Tables. ASIAN (1999)
Roberto M. Amadio, Sanjiva Prasad
Modelling IP Mobility. CONCUR (1998)
Sanjiva Prasad
Models for Mobile Computing Agents. ACM Comput. Surv. 28 (4es) (1996)
Roberto M. Amadio, Sanjiva Prasad
Localities and Failures (Extended Abstract). FSTTCS (1994)
Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. ICALP (1990)
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
FACILE: A Symmetric Integration of Concurrent and Functional Programming. TAPSOFT, Vol.2 (1989)
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
Facile: A symmetric integration of concurrent and functional programming. Int. J. Parallel Program. 18 (2) (1989)