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
VolumePart F127756
ISBN (Electronic)9781450349727
DOIs
StatePublished - May 10 2017
Event27th Great Lakes Symposium on VLSI, GLSVLSI 2017 - Banff, Canada
Duration: May 10 2017May 12 2017

Other

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

Fingerprint

Intellectual property

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 (Vol. Part F127756, pp. 333-338). Association for Computing Machinery. https://doi.org/10.1145/3060403.3066870

The need for declarative properties in digital IC security. / El Massad, Mohamed; Imeson, Frank; Garg, Siddharth; Tripunitara, Mahesh.

GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017. Vol. Part F127756 Association for Computing Machinery, 2017. p. 333-338.

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

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. vol. Part F127756, Association for Computing Machinery, pp. 333-338, 27th Great Lakes Symposium on VLSI, GLSVLSI 2017, Banff, Canada, 5/10/17. https://doi.org/10.1145/3060403.3066870
El Massad M, Imeson F, Garg S, Tripunitara M. The need for declarative properties in digital IC security. In GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017. Vol. Part F127756. Association for Computing Machinery. 2017. p. 333-338 https://doi.org/10.1145/3060403.3066870
El Massad, Mohamed ; Imeson, Frank ; Garg, Siddharth ; Tripunitara, Mahesh. / The need for declarative properties in digital IC security. GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017. Vol. Part F127756 Association for Computing Machinery, 2017. pp. 333-338
@inproceedings{38214b8519af487f80389927b9a6e140,
title = "The need for declarative properties in digital IC security",
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",
keywords = "Computational complexity, Declarative properties",
author = "{El Massad}, Mohamed and Frank Imeson and Siddharth Garg and Mahesh Tripunitara",
year = "2017",
month = "5",
day = "10",
doi = "10.1145/3060403.3066870",
language = "English (US)",
volume = "Part F127756",
pages = "333--338",
booktitle = "GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017",
publisher = "Association for Computing Machinery",

}

TY - GEN

T1 - The need for declarative properties in digital IC security

AU - El Massad, Mohamed

AU - Imeson, Frank

AU - Garg, Siddharth

AU - Tripunitara, Mahesh

PY - 2017/5/10

Y1 - 2017/5/10

N2 - 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

AB - 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

KW - Computational complexity

KW - Declarative properties

UR - http://www.scopus.com/inward/record.url?scp=85021207179&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85021207179&partnerID=8YFLogxK

U2 - 10.1145/3060403.3066870

DO - 10.1145/3060403.3066870

M3 - Conference contribution

AN - SCOPUS:85021207179

VL - Part F127756

SP - 333

EP - 338

BT - GLSVLSI 2017 - Proceedings of the Great Lakes Symposium on VLSI 2017

PB - Association for Computing Machinery

ER -