PAS: Predicate-Based Authentication Services Against Powerful Passive Adversaries | IEEE Conference Publication | IEEE Xplore