at://
/
app.bsky.feed.post
/
3mnffdpnins2u
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Our paper with formal analysis and code: arxiv.org/pdf/2606.03771 H/T to my co-authors Sam Breckenridge, Derek Leung, Andrés Fábrega, James Austgen, Farinaz Koushanfar, and Prof. Ari Juels
11d
arxiv.org
