Funder
Natural Science Foundation of Jiangsu Province
Cooperation Fund of Huawei-NJU Creative Laboratory for the Next Programming
National Science Foundation Graduate Research Fellowship Program
Sam Taylor Fellowship Award
Austrian Science Fund
LIT Secure and Correct System Lab sponsored by the province of Upper Austria
Publisher
Springer Science and Business Media LLC