Divya Arora

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Personalized Ranking

Formal Verification

Sentiment Analysis

Security Properties

Top Venues

Multim. Tools Appl.

Dagstuhl Reports

Publications

Devendra Kumar Tayal, Sumit Kumar Yadav, Divya Arora
Personalized ranking of products using aspect-based sentiment analysis and Plithogenic sets. Multim. Tools Appl. 82 (1) (2023)
Divya Arora, Ilia Polian, Francesco Regazzoni, Patrick Schaumont
Secure Composition for Hardware Systems (Dagstuhl Seminar 19301). Dagstuhl Reports 9 (7) (2019)
Pramod Subramanyan, Divya Arora
Formal verification of taint-propagation security properties in a commercial SoC design. DATE (2014)
Divya Arora, Najwa Aaraj, Anand Raghunathan, Niraj K. Jha
INVISIOS: A Lightweight, Minimally Intrusive Secure Execution Environment. ACM Trans. Embed. Comput. Syst. 11 (3) (2012)
Divya Arora, Anand Raghunathan, Srivaths Ravi, Murugan Sankaradass, Niraj K. Jha, Srimat T. Chakradhar
Exploring Software Partitions for Fast Security Processing on a Multiprocessor Mobile SoC. IEEE Trans. Very Large Scale Integr. Syst. 15 (6) (2007)
Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha
Architectural Support for Run-Time Validation of Program Data Properties. IEEE Trans. Very Large Scale Integr. Syst. 15 (5) (2007)
Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha
Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors. IEEE Trans. Very Large Scale Integr. Syst. 14 (12) (2006)
Divya Arora, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha
Architectural support for safe software execution on embedded processors. CODES+ISSS (2006)
Divya Arora, Anand Raghunathan, Srivaths Ravi, Murugan Sankaradass, Niraj K. Jha, Srimat T. Chakradhar
Software architecture exploration for high-performance security processing on a multiprocessor mobile SoC. DAC (2006)
Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring. DATE (2005)
Divya Arora, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha
Enhancing security through hardware-assisted run-time validation of program data properties. CODES+ISSS (2005)