Julay Leatherman-Brooks

Identifiers

• name variant Julay Leatherman-Brooks 0.60 · backfill

Papers (1)

1. Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking cs.CR · 2026 · author #5

Mentions

• 2601.22978 #5 · arxiv_oai · confidence 0.70 Julay Leatherman-Brooks

Frequent Coauthors

• Catalin Hritcu 1 shared papers
• Jonathan Baumann 1 shared papers
• Yan Farba 1 shared papers
• Yonghyun Kim 1 shared papers