The Need for Declarative Properties in Digital IC Security


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 -- IC camouflaging. We demonstrate that an adversary can carry out a decamouflaging attack… (More)
DOI: 10.1145/3060403.3066870


  • Presentations referencing similar topics