PorKI: making user PKI safe on machines of heterogeneous trustworthiness | IEEE Conference Publication | IEEE Xplore