Analysis of LYSA-calculus with explicit confidentiality annotations | IEEE Conference Publication | IEEE Xplore