Search papers, labs, and topics across Lattice.
Singapore Management University
2
0
2
Skip the costly TEE setup: SymTEE uses LLMs to automatically create mock environments for symbolic execution, slashing the complexity of finding vulnerabilities in trusted computing systems.
LLMs can now automatically fix critical security vulnerabilities in Trusted Execution Environments with high success rates, even without standardized development guidelines.
