Cheri influenced the design and existence of the tagged memory in lowrisc - it is pretty much why it is there, although there are some other potential uses too. Both projects are based in Cambridge.