Virtual Library

Our research repositories present a collection of open-source resources that showcase research and analysis that has directly influenced our initiatives. Non-IST publications are copyrighted by external authors not affiliated with IST.

Submit your Content

Reports

To the Point of Failure: Identifying Failure Points for Crisis Communications Systems

Leah Walker, Alexa Wehsener

viewpdf

Reports

Mapping the Ransomware Payment Ecosystem: A Comprehensive Visualization of the Process and Participants

Zoë Brammer

viewpdf

Reports

Plan maestro de defensa contra los programas de secuestro

Grupo de Trabajo sobre Programas de Secuestro

viewpdf

Reports

Cyber Incident Reporting Framework

Cyber Threat Alliance, Institute for Security and Technology

viewpdf

Reports

Digital Tools, Cognition, and Democracy: A Review of the Literature

Zoë Brammer, Sage Miller, Leah Walker

viewpdf

Reports

Reasoning: How digital technologies influence decision making and judgment

Stephanie Rodriguez

viewpdf

Reports

Attention: How digital technologies influence what we notice, what we focus on, and how we learn

Stephanie Rodriguez

viewpdf

Contribute to our Library!

We also welcome additional suggestions from readers, and will consider adding further resources as so much of our work has come through crowd-sourced collaboration already. If, for any chance you are an author whose work is listed here and you do not wish it to be listed in our repository, please, let us know.

SUBMIT CONTENT
Playing now

Virtual Event and Live Q&A with Mr. Nand Mulchandani, Acting Director of the U.S. Department of Defense Joint Artificial Intelligence Center

Formally Verified

Philip Reiner and Peter Hayes with Adam Wick

SUMMARY

This episode of The Fourth Leg podcast features Adam Wick, Principal Scientist, Mobile Security & Systems Software for Galois, and one of the world’s leading experts on secure operating systems design and implementation. In this podcast, Wick discusses how formal methods, a precise mathematical description of a system’s function, is a crucial component to the design and implementation of CATALINK — a radically simple and secure nuclear crisis communications hotline. We dive deep further into the substance of how formal proofs not only minimize language misunderstandings in a system as complex as NC3, they provide a rigorous executable specification on how a system such as CATALINK is supposed to run.

This podcast is accompanied by Adam Wick’s paper and call to action: “Formal Methods for NC3 Systems.”

download pdf