SSEL: An Extensible Specification Language for SoC Security. - Kshitij Raj; Arrush Hegde; Atul Prasad Deb Nath; Swarup Bhunia; Sandip Ray (AsianHOST, 2021)