Types and Abstract Interpretation for Authorization Hook Advice | IEEE Conference Publication | IEEE Xplore