C2L: A Formal Policy Language for Secure Cloud Configurations J Poroor, B Jayaraman Procedia Computer Science 10, 499-506, 2012 | 13 | 2012 |
Grounded idea generation: An analysis framework for project-based courses M Menon, J Poroor Procedia Computer Science 172, 591-596, 2020 | 9 | 2020 |
Systems and methods for adaptive application and privacy preserving internet of things J Poroor, S Sathyadevan US Patent App. 14/488,816, 2015 | 8 | 2015 |
Formal analysis of event-driven cyber physical systems J Poroor, B Jayaraman Proceedings of the First International Conference on Security of Internet of …, 2012 | 8 | 2012 |
Architectural design for a secure Linux operating system H Narayanan, V Radhakrishnan, J Poroor 2017 International Conference on Wireless Communications, Signal Processing …, 2017 | 7 | 2017 |
Architectural recommendations in building a network based secure, scalable and interoperable internet of things middleware S Sathyadevan, K Achuthan, J Poroor Proceedings of the 3rd International Conference on Frontiers of Intelligent …, 2015 | 7 | 2015 |
Fast dual-radio cross-layer handoffs in multi-hop infrastructure-mode 802.11 Wireless Networks for in-vehicle multimedia infotainment J Poroor, S Karunagaran, S Sundararajan, R Pillai 2008 2nd International Symposium on Advanced Networks and Telecommunication …, 2008 | 7 | 2008 |
Design for Prevention of Intranet Information Leakage via Emails N Manmadhan, H Narayanan, J Poroor, K Achuthan Security in Computing and Communications: Second International Symposium …, 2014 | 6 | 2014 |
Dos attacks on real-time media through indirect contention-in-hosts J Poroor, B Jayaraman IEEE internet computing 13 (6), 22-30, 2009 | 5 | 2009 |
MAESTRO: A time-driven embedded testbed Architecture with Event-driven Synchronization S Karunagaran, KP Sahoo, J Poroor, M Fujita 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014 | 4 | 2014 |
JPermit: usable and secure registration of guest-phones into enterprise VoIP network RV Lakshmi, D Krishnan, S Parvathy, K Vishnudatha, J Poroor, A Dhar, ... 2010 International Conference on Advances in Computer Engineering, 115-119, 2010 | 4 | 2010 |
Mesh-tree topology for vehicular networks S Karunagaran, S Sundararajan, J Poroor, A Dhar, R Pillai 2009 5th International Conference on Testbeds and Research Infrastructures …, 2009 | 4 | 2009 |
Verifying security properties of internet protocol stacks: The split verification approach J Poroor, B Jayaraman Journal of Systems Architecture 57 (3), 269-281, 2011 | 2 | 2011 |
SmartWhisper: Automated collaborative authentication with minimal human intervention in Secure Wireless Enterprise 802.11 Networks J Poroor, A Dhar 2009 IEEE International Conference on Internet Multimedia Services …, 2009 | 2 | 2009 |
Low-level strongly typed dataframes for machine learning and statistical computing in resource-constrained devices J Poroor 2019 9th International Symposium on Embedded Computing and System Design …, 2019 | 1 | 2019 |
Work-in-Progress: VerticalThings-A Language-Based Microkernel for Constrained IoT Devicer J Poroor 2018 International Conference on Embedded Software (EMSOFT), 1-3, 2018 | 1 | 2018 |
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices J Poroor, A Lal, S Ghanta Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on …, 2021 | | 2021 |
Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications J Poroor arXiv preprint arXiv:2103.05779, 2021 | | 2021 |
MotePy: A domain specific language for low-overhead machine learning and data processing J Poroor arXiv preprint arXiv:2011.05194, 2020 | | 2020 |
The energy computer: A novel Internet-of-Things (IoT) device for improved energy productivity J Poroor 2017 International Conference on Technological Advancements in Power and …, 2017 | | 2017 |