The need for declarative properties in digital IC security

Mohamed El Massad, Frank Imeson, Siddharth Garg, Mahesh Tripunitara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We emphasize the need to articulate precise, declarative properties in the context of securing Digital ICs. We do this by discussing two pieces of our work on securing Digital ICs. In one, we discuss a seemingly compelling approach to protecting Intellectual Property

Original languageEnglish (US)
Title of host publicationGLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017
PublisherAssociation for Computing Machinery
Pages333-338
Number of pages6
ISBN (Electronic)9781450349727
DOIs
StatePublished - May 10 2017
Event27th Great Lakes Symposium on VLSI, GLSVLSI 2017 - Banff, Canada
Duration: May 10 2017May 12 2017

Publication series

NameProceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
VolumePart F127756

Other

Other27th Great Lakes Symposium on VLSI, GLSVLSI 2017
CountryCanada
CityBanff
Period5/10/175/12/17

    Fingerprint

Keywords

  • Computational complexity
  • Declarative properties

ASJC Scopus subject areas

  • Engineering(all)

Cite this

El Massad, M., Imeson, F., Garg, S., & Tripunitara, M. (2017). The need for declarative properties in digital IC security. In GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017 (pp. 333-338). (Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI; Vol. Part F127756). Association for Computing Machinery. https://doi.org/10.1145/3060403.3066870