BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
2 × Germany
Collaborated with:
P.Subramanyan A.Raghunathan S.Ravi N.K.Jha M.Sankaradass S.T.Chakradhar
Talks about:
secur (3) process (2) multiprocessor (1) architectur (1) properti (1) commerci (1) softwar (1) perform (1) monitor (1) hardwar (1)

Person: Divya Arora

DBLP DBLP: Arora:Divya

Contributed to:

DATE 20142014
DAC 20062006
DATE 20052005

Wrote 3 papers:

DATE-2014-SubramanyanA #design #security #verification
Formal verification of taint-propagation security properties in a commercial SoC design (PS, DA), pp. 1–2.
DAC-2006-AroraRRSJC #architecture #mobile #multi #security
Software architecture exploration for high-performance security processing on a multiprocessor mobile SoC (DA, AR, SR, MS, NKJ, STC), pp. 496–501.
DATE-2005-AroraRRJ #embedded #monitoring #runtime
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.