Research Report: Analysis of Software for Restricted Computational Environment Applicability. - Jacob I. Torrey; Jonathan Miodownik (IEEE Symposium on Security and Privacy Workshops, 2016)