Abstract

forum

Visible to the public Nullcon International Security Conference & Training - Berlin 2023

A great conference requires insightful speakers!

Welcome to the 2nd edition of Nullcon Berlin, the focus of the conference is to showcase the next generation of offensive and defensive security technology. If you are someone who loves security, hacking, or have cutting-edge research to share with the infosec community--This platform is for you!

CFP Deadline: 30th November 2022

Conference Dates: 09th-10th March 2023

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