1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
Junle Li, Siqi Chen, Jiakai Li +2
Converting high-level tasks described by natural language into formal specifications like Linear Temporal Logic (LTL) is a key step towards providing formal safety guarantees over…
cs.CR2024★ 1 cited
Simple But Not Secure: An Empirical Security Analysis of Two-factor Authentication Systems
Zhi Wang, Xin Yang, Du Chen +4
To protect users from data breaches and phishing attacks, service providers typically implement two-factor authentication (2FA) to add an extra layer of security against suspicious…