All Stories

  1. Formal modelling of attack scenarios and mitigation strategies in IEEE 1588

    Article • November 2021, ACM (Association for Computing Machinery)

    Akshya Swain, KELVIN ANTO