Automatically derived stateful network functions including non-field attributes.

Bin Yuan, Shengyao Sun, Xianjun Deng, Deqing Zou, Haoyu Chen, Shenghui Li, Hai Jin

Browse the full TrustCom paper archive.