Loading…
1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.
← Back to schedule
Certification, Compliance and Policies: Enabler or Barrier to Innovation? Darren Cofer, Collins Aerospace; Peter Davies, Thales; Jonathan Marshall, SafeShark; Anjana Rajan, Atalanta; James Sharp, Dstl & Martin Dehnel-Wild, Kry10
Tuesday September 1, 2026 16:00 - 17:00 PDT
Plaza A & B
Formal verification is increasingly recognised as the strongest approach for establishing trust in the correctness, security and safety of software systems. Yet, certification frameworks, compliance schemes, and public policy are still resisting to mandate it in a meaningful way.
As with any innovation not yet widely used, authorities are careful to change a well established requirement for a newer one with less known consequences, thus increasing their responsibility in assessing them. Regulators also face legitimate concerns in mandating an approach where the surrounding ecosystem of tools, training, services and qualified practitioners has not yet reached sufficient maturity.
This can lead to a deadlock where investments in maturing the technology will not happen as long as there is no market for it. The market will not develop as long as the technology is not mandated by authorities. And authorities won’t mandate the technology as long as it is not mature enough.
This panel will explore how this cycle can be broken. Drawing on the experiences of experts in certification, compliance and policy, we will discuss where efforts to influence certification frameworks are most worthwhile, which barriers are realistically addressable and what actions can have the greatest impact.

Speakers
avatar for Darren Cofer

Darren Cofer

Principal Fellow, Collins Aerospace
Darren Cofer is a Principal Fellow at Collins Aerospace. He earned his PhD in Electrical and Computer Engineering from The University of Texas at Austin. His area of expertise is developing and applying advanced analysis methods and tools for verification and certification of high-integrity... Read More →
avatar for Martin Dehnel-Wild

Martin Dehnel-Wild

Chief Scientist, Kry10
Dr Martin Dehnel-Wild is Chief Scientist of Kry10, where he leads R&D and heads up Kry10’s UK & European office. He has a DPhil (PhD) in Computer Science from the University of Oxford, where he researched interactive and automated theorem proving for security protocols. Prior to... Read More →
avatar for Anjana Rajan

Anjana Rajan

CEO & Co-Founder, Atalanta
Anjana Rajan is the co-founder and CEO of Atalanta. She previously served as the Assistant NationalCyber Director for Technology Security at the White House, where she led national security policy onformal methods. She is an applied cryptographer whose prior work focused on human... Read More →
avatar for Peter Davies

Peter Davies

Director - Security Concepts, Thales

avatar for Jonathan Marshall

Jonathan Marshall

Business Development Director, SafeShark
Over a 25+ year career spanning broadcast media, cybersecurity, adtech, and media measurement, Jonathan has bridged the gap between technology and commercial execution. From pioneering BAFTA-winning interactive services at BBC R&D to building multi-million-pound hybrid TV platforms... Read More →
avatar for James Sharp

James Sharp

Senior Principal Scientist, Dstl
Dr James Sharp is a Senior Principal Scientist at Defence Science and Technology Laboratory (Dstl), the UK Ministry of Defence’s in-government S&T organisation. He has previously provided independent technical evaluation to UK Defence Aerospace, and has over a decade of experience... Read More →
Tuesday September 1, 2026 16:00 - 17:00 PDT
Plaza A & B
  General Sessions, Overviews / Insights / Safety / Compliance

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend!
Explore why organizers choose Sched • Success stories
Event App • Event scheduling • Event registration • Event ticketing • Sched forms • Call for papers • Badges • Conferences
© 2026. SCHED LLC - All rights reserved - Helping events since 2008
Conference Scheduling Software • Privacy • Terms
Share Modal

Share this link via

Or copy link