Virtual Event
April 14
Learn More and Register to Attend
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!

Feedback form is now closed.
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.

avatar for Greg Sullivan

Greg Sullivan

Chief Scientist, Dover Microsystems
Greg Sullivan is Chief Scientist and co-founder of Dover Microsystems. At Dover, Greg helps communicate technical concepts both internally and to customers, and contributes to design and implementation of the CoreGuard product. Earlier, Greg worked at Draper laboratory, which led... Read More →

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