A paper on broadcast authentication protocols was accepted at ISPEC 2023.