research
∙
08/04/2021
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics
A reliable technique for deductive program verification should be proven...
share
research
∙
07/01/2021
Intrinsic Image Transfer for Illumination Manipulation
This paper presents a novel intrinsic image transfer (IIT) algorithm for...
research
∙
08/20/2019
MicroTEE: Designing TEE OS Based on the Microkernel Architecture
ARM TrustZone technology is widely used to provide Trusted Execution Env...
research
∙
06/16/2019