1 × USA
2 × Germany
P.Subramanyan A.Raghunathan S.Ravi N.K.Jha M.Sankaradass S.T.Chakradhar
secur (3) process (2) multiprocessor (1) architectur (1) properti (1) commerci (1) softwar (1) perform (1) monitor (1) hardwar (1)
Person: Divya Arora
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.