Loading…
Attending this event?
Virtual Event
April 14
Learn More and Register to Attend
Back To Schedule
Wednesday, April 14 • 9:25am - 9:45am
Information Flow Confidentiality and Integrity on a Rocket RISC-V SoC - Gregory Sullivan, Dover Microsystems

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Log in to leave feedback.
Dover Microsystems has developed information flow policies, enforced at the per-word and per-instruction level, to track confidentiality and integrity taint through computations. Dover Microsystems enforces these policies in hardware on an SoC built around a Rocket RISC-V core. The policies identify trusted (for integrity) and private (for confidentiality) data sources and sinks. Dover's confidentiality policy prevents private data from being written to a public output unless the data has encrypted. The integrity policy checks that trusted data has not been modified before being used. If private data is combined with other data (e.g. by ALU), the result is private. If trusted data is combined with other data, the result is untrusted. Greg will demonstrate use cases around protecting the integrity of an eFPGA bitstream and the confidentiality of AES keys.

Speakers
avatar for Greg Sullivan

Greg Sullivan

Chief Scientist, Dover Microsystems
Greg Sullivan, Ph.D., is Chief Scientist and co-founder of Dover Microsystems. At Dover, Greg keeps abreast of current cybersecurity research and practice, helps communicate technical concepts both internally and to customers, and contributes to design and implementation of the CoreGuard... Read More →



Wednesday April 14, 2021 9:25am - 9:45am PDT
Virtual
  Session
  • Slides Included Yes