VeriNC: Finding Design Risks of In-Network Computing Systems

Tianyu Bai, Xiaoxi Zhang, Haoqing Wang +2

The emergence of programmable switches has brought in-network computing (INC) into the spotlight in recent years. By offloading computation directly onto the data transmission proc…