This session addresses two aspects of ensuring correct security behavior of network entities. Topic 1: Stronger Security Notions for Decentralized Traceable Attribute-Based Signatures and More…