Print Your Money: Cash-Like Experiences with Digital Money. - Chenhang Zhou; Yu Chen 090; Roger Wattenhofer; Ye Wang 017 (CHI Extended Abstracts, 2023)

Causality Analysis in Control Plane Verification. - Yu Chen 090; Tibor Schneider; Laurent Vanbever (StudentWorkshop@CoNEXT, 2023)