Skip to content

Author

Yu-Lin Tsai

We have 2 of 17 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Daydreaming: Stealing Hidden Agent Skills through Black-Box Task Interaction

Daydreaming is presented, an execution-only attack that steals a multi-file skill through black-box task interactions and produces installable skills using a median of 32 victim calls per skill even with disclosure defenses enabled.

Yu-Lin Tsai, Yu-An Lu, Ci-Yang Tsai et al. · 0 citations
Jul 2026

ShannonProver: Towards Automating Formal Cryptographic Proofs

This work suggests a path toward accelerating cryptographic research: as agents automate the proof-engineering burden, cryptographers can iterate more quickly on new constructions, obtain machine-checked assurance earlier, and bring trustworthy protocols from design to deployment faster.

Yiping Ma, Yu-Lin Tsai, Mayank Rathee et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.