HCSS 2018

file

Visible to the public Model-based System Certification – A Vision

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributor:

Presented as part of the 2018 HCSS conference.

file

Visible to the public Intrusion and Anomaly Detection in Autonomous Vehicle Systems

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributor:

Presented as part of the 2018 HCSS conference.

BIO

file

Visible to the public Data-driven Safe Control for Nonlinear Systems

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributor:

Presented as part of the 2018 HCSS conference.

ABSTRACT

file

Visible to the public VeriCores: Cyber-Instrumenting Devices Built from Verified Components

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributors:

Presented as part of the 2018 HCSS conference.

BIO

file

Visible to the public Case Study: Verifying Safety of a UUV Heading PID Controller

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributors:

Presented as part of the 2018 HCSS conference.

BIOS

Dr. C. Durward McDonell is a Senior Computer Scientist at JHU/APL. He has aPh.D. in mathematics from the University of Minnesota. Durward joinedAPL in 2005. His research interests include formal analysis ofcomputer systems, particularly theorem proving and type theory, andquantum computer science.

file

Visible to the public High-Assurance Blockchains: Applications and Verification

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributors:

Presented as part of the 2018 HCSS conference.

BIO

Dr. Joe Hendrix is a Principal Researcher at Galois. His research interests are in the application of automated reasoning techniques to hard computer science and engineering problems. While at Galois, he has contributed to Galois' SAW Verification tools, the Crucible symbolic simulator, and the Macaw binary analysis library.

file

Visible to the public On the Emerging Trend of Computer-Aided Cryptology and the Technology Transition Gap it Presents

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributor:

Presented as part of the 2018 HCSS conference.

BIO

file

Visible to the public Towards Formally Verified Deep Neural Networks

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributors:

Presented as part of the 2018 HCSS conference.

BIO

file

Visible to the public Perspectives on Applying the Safety Case Approach for the Assurance of Complex Heterogeneous Systems

Submitted by Katie Dey on Sat, 03/10/2018 - 1:59pm. Contributor:

Presented as part of the 2018 HCSS conference.

ABSTRACT