Abstract

forum

Visible to the public Nullcon International Security Conference and Training Goa 2022

Nullcon Welcomes You!

Nullcon invites researchers and hackers around the world, working on the next big thing in security to submit their CFP. If you love security, hacking, cutting-edge research, and beaches then the universe will conspire to send you to Nullcon. No, seriously it's a lot of learning and fun! Time to tickle your gray cells and submit your research.

Nullcon is an annual security conference held in Goa, India. The focus of the conference is to showcase the next generation of offensive and defensive security technology.

file

Visible to the public Warren Hunt - Formal Methods at Scale

file

Visible to the public Ray Richards - Formal Methods at Scale

file

Visible to the public Peter OHearn - Formal Methods at Scale

file

Visible to the public Kathleen Fisher - Formal Methods at Scale

file

Visible to the public Byron Cook - Formal Methods at Scale

file

Visible to the public Clark Barrett - Formal Methods at Scale

page

Visible to the public Regulator task force on safety critical software for nuclear reactors

Regulator task force on safety critical software for nuclear reactors aims to co-ordinate and document regulators' and safety authority experts' technical viewpoints on the use of safety critical software for nuclear reactors, both existing and new build (membership is not restricted to regulators involved in new build).