research
∙
06/15/2023
KoLA: Carefully Benchmarking World Knowledge of Large Language Models
The unprecedented performance of large language models (LLMs) necessitat...
share
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...
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
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0
The Trusted Platform Module (TPM) version 2.0, which has been demonstrat...
research
∙
04/19/2019
StegoAppDB: a Steganography Apps Forensics Image Database
In this paper, we present a new reference dataset simulating digital evi...
research
∙
10/01/2018
Unsupervised Trajectory Segmentation and Promoting of Multi-Modal Surgical Demonstrations
To improve the efficiency of surgical trajectory segmentation for robot ...
research
∙
08/18/2018