The shape model facilitates design, quantitative analysis ... The SECuRE and Trustworthy computing Lab (SECRETLab) is dedicated to cutting-edge research on computer security, digital forensics, and ...