00

M. Frans Kaashoek

Person ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 1 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · M. Frans Kaashoek · depth=1

02

RELATIONSHIPS

1 connections

rtlv: push-button verification of software on hardware ← authored by 100% 1e evidence

M. Frans Kaashoek is listed as a co-author of the paper.