Tags

"Rectilinear Steiner tree"

"Security"

"tag pollution data packet attack"

"embedded DRAM"

"nonvolatile memory"

"refresh"

"Spin-torque transfer RAM"

"batch verification"

"epidemic attacks"

"formal analysis"