Security Engineering and Modelling of Set-Top Boxes | IEEE Conference Publication | IEEE Xplore