Yayın:
Detecting hardware Trojans in unspecified functionality through solving satisfiability problems

Sadeleştirilmiş öğe sayfası
dc.contributor.authorŞan, İsmail
dc.contributor.authorİsmail Şan
dc.contributor.authorKwang-Ting (Tim) Cheng
dc.contributor.orcid0000-0001-7620-9415
dc.date.accessioned2025-11-13T09:40:47Z
dc.date.issued2017-01-01
dc.identifier.doihttps://doi.org/10.1109/aspdac.2017.7858389
dc.identifier.openalexW2588498638
dc.identifier.urihttps://hdl.handle.net/11421/1858
dc.identifier.urihttps://doi.org/10.1109/aspdac.2017.7858389
dc.language.isoen
dc.rightsrestrictedAccess
dc.subjectComputer science
dc.subjectHardware Trojan
dc.subjectUniversal asynchronous receiver/transmitter
dc.subjectVerilog
dc.subjectBoolean satisfiability problem
dc.subjectEmbedded system
dc.subjectSatisfiability
dc.subjectFormal equivalence checking
dc.subjectFormal verification
dc.subjectCorrectness
dc.subjectProgramming language
dc.subjectField-programmable gate array
dc.subjectTheoretical computer science
dc.subjectAlgorithm
dc.subjectComputer hardware
dc.subjectChip
dc.subjectIntegrated circuit
dc.subjectOperating system
dc.titleDetecting hardware Trojans in unspecified functionality through solving satisfiability problems
dc.typeArticle
dspace.entity.typePublication
local.authorid.openalexA2111404640

Dosyalar

Koleksiyonlar

Publications