HCSS 2018

file

Visible to the public Growing Risk of Cyber Attacks.pdf

Submitted by akarns on Wed, 04/25/2018 - 10:22am. Contributor:

Presented as part of the 2018 HCSS conference.

file

Visible to the public Keynote Presentation: Emin Gün Sirer

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

Presented as part of the 2018 HCSS conference.

file

Visible to the public Applying Symbolic Execution to Blockchain Applications

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

Presented as part of the 2018 HCSS conference.

BIO

Mark Mossberg is a researcher and engineer at Trail of Bits, and the lead developer for the Manticore project. His interests include automatic binary analysis, systems software development, and interface design.

ABSTRACT

file

Visible to the public Keynote Presentation: Peter Feiler

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

Presented as part of the 2018 HCSS conference.

file

Visible to the public The Future of Cyber-autonomy

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

Presented as part of the 2018 HCSS conference.

BIO

file

Visible to the public Architecture-Driven Assurance for Model-Based Systems Engineering

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

Presented as part of the 2018 HCSS conference.

BIO

file

Visible to the public Safe Pointers and Verifiable Automatic Heap Management without Garbage Collection

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 Principles of Layered Attestation

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

Presented as part of the 2018 HCSS conference.

BIO

Dr. Paul D. Rowe is a Lead Cybersecurity Researcher at The MITRE Corporation. His research interests include cryptographic protocol analysis, Trusted Computing, cyber resiliency, and formal methods for modeling and verification. He received his PhD in mathematics from the University of Pennsylvania.

ABSTRACT

file

Visible to the public Using Formal Methods to Reason About Neural Network Based Autonomous Systems

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 The KeYmaera X Theorem Prover: Hybrid Systems Verification and Verified Runtime Validation

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

Presented as part of the 2018 HCSS conference.

BIO