Hardware Security Research Group

Hardware Security Research Group

In recent years, reporting some malicious modifications with different aims in the process of chip design and manufacturing raised the serious concerns about the hardware security. Normally, designed layout is sent to chip-fabricating manufactories which are not under the direct supervision of design house. Therefore, they can easily modify the chips before, during or even after the manufacturing. In this domain, some solutions in physical level are explored to avoid (or harden) the HTH insertion or even make them more easily detectable.

PhD. Students:

	Hamed	Hossein Talaei	1396	Systematic property generation for formal-based Trojan detection
	Neda	Argha	1401	Physical security of post-quantum algorithms
	Marzieh	Morshedzadeh	1400	Using RNS for Protection against SCA
	Mostafa	Pourasadollah	1401	Security of ANNs against Trojan insertion
	Pouya	M.MohammadReza	1402

MSc Students:

	Rayhaneh	Haji Mohhammadali	1400	Using RNS to SCA-Protection
	Hafez	HassanBeigy	1401	SCA to Clock signal fluctuations
	Mahdi	Lashkari	1402	Remote SCA
	Fatemeh	Momenzad	1402	Chache-based SCA
	Aysha	Tahazadeh	1402	Protection By Reconfiguration
	Fatemeh	Fallahian	1402	Deep Learning based SCA