Presentation

file

Visible to the public Analyzing Code Stability Using Controller Theoretic Techniques

Submitted by akarns on Wed, 04/27/2022 - 2:27pm. Contributor:
file

Visible to the public High Assurance Rigorous Digital Engineering for Nuclear Safety (HARDENS)

Submitted by akarns on Wed, 04/27/2022 - 2:27pm. Contributor:
file

Visible to the public KEYNOTE PRESENTATION

Submitted by akarns on Wed, 04/27/2022 - 2:27pm. Contributors:
forum

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

Submitted by Nullcon on Wed, 04/27/2022 - 1:25am

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 Designing Robots for Humans

Submitted by willirn1 on Tue, 04/26/2022 - 1:55pm. Contributor:

ABSTRACT:

file

Visible to the public Model Checking Memory Safety of Industrial Code

Submitted by akarns on Tue, 03/29/2022 - 11:43am. Contributor:

ABSTRACT

file

Visible to the public Cybersecurity Threat Landscape

Submitted by akarns on Mon, 03/28/2022 - 7:05pm. Contributor:

file

Visible to the public Trustworthy AI

Submitted by wing on Tue, 03/15/2022 - 9:38am. Contributor:

Recent years have seen an astounding growth in deployment of AI systems in critical domains such as autonomous vehicles, criminal justice, healthcare, hiring, housing, human resource management, law enforcement, and public safety, where decisions taken by AI agents directly impact human lives. Consequently, there is an increasing concern if these decisions can be trusted to be correct, reliable, fair, and safe, especially under adversarial attacks.