An automated construction method for symmetric encryption round function models based on dynamic analysis | IEEE Conference Publication | IEEE Xplore