Closed captioning will be available in English and Japanese for all keynotes and RSAC track sessions.
Please note: All times are in SGT.
  1. Marriott Marquis

Brighten Godfrey Co-founder & CTO at Veriflow will talk about how the use of formal verification techniques within network infrastructure is becoming a common practice in leading enterprises. In this session, we explore how network verification is utilized to augment and enhance common security procedures and measures – resulting in proactive vulnerability identification, rapid network-wide incident response, and assurance of network-wide intent.