RISC-V Workshop, Zurich is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.


Chris Casinghino
Principal Member of the Technical Staff at Draper


Chris is a Principal Member of Technical Staff at Draper, where his research interests include formal methods, programming languages, and cybersecurity.  He has led teams developing new languages and formal verification tools as a Principal Investigator on programs including DARPA SSITH, ONR TPCP, and DARPA HACMS.  On DARPA SSITH, Draper is developing a tagged architecture that employs the policy language described in this talk.  Chris is a co-author of ``Software Foundations'', a textbook on formal verification, and serves on the corporate advisory board of the NSF ``Deep Spec'' expedition, which is developing new tools and techniques to verify the full functional correctness of software and hardware.  He received his Ph.D. from the University of Pennsylvania in 2014 for work on making advanced type systems more usable.

Chris Casinghino's Network

Agenda Sessions

  • A Security Policy Definition Language, Semantics, and Open Source Tools