Formal verification of secure reconfigurable scan network infrastructure

@article{Kochte2016FormalVO,
  title={Formal verification of secure reconfigurable scan network infrastructure},
  author={Michael Andreas Kochte and Rafal Baranowski and Matthias Sauer and Bernd Becker and Hans-Joachim Wunderlich},
  journal={2016 21th IEEE European Test Symposium (ETS)},
  year={2016},
  pages={1-6}
}
Reconfigurable scan networks (RSN) as standardized by IEEE Std 1687 allow flexible and efficient access to on-chip infrastructure for test and diagnosis, post-silicon validation, debug, bring-up, or maintenance in the field. However, unauthorized access or manipulation of the attached instruments, monitors, or controllers pose security and safety risks. Different RSN architectures have recently been proposed to implement secure access to the connected instruments, for instance by authentication… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-9 of 9 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Automation of the IEEE 1687 Standard: Tessent IJTAG

  • Mentor Graphics Corporation
  • 2014, datasheet. [Online]. Available: www.mentor…
  • 2014
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…