H Liu

most citedSearch for long-lived charginos and

τ

-sleptons using final states with a disappearing track in

pp

collisions at

s = 13

TeV with the ATLAS detector

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.CR2026

CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes

Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu +8

Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-secu…

hep-ex2026★ 1 cited

Search for long-lived charginos and $τ$ -sleptons using final states with a disappearing track in $pp$ collisions at $s = 13$ TeV with the ATLAS detector

ATLAS Collaboration

This paper reports a search for decays of long-lived charginos or $τ$ -sleptons to final states containing a short disappearing track, a single high-energy jet, and missing transver…

CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes

Search for long-lived charginos and τ-sleptons using final states with a disappearing track in pp collisions at s​=13 TeV with the ATLAS detector

Search for long-lived charginos and $τ$ -sleptons using final states with a disappearing track in $pp$ collisions at $s = 13$ TeV with the ATLAS detector