Helen Treharne

Identifiers

• name variant Helen Treharne 0.60 · backfill

Papers (7)

1. TANDEM: Temporal-Aware Neural Detection for Multimodal Hate Speech cs.AI · 2026 · author #2
2. Anonymous Single Sign-on with Proxy Re-Verification cs.CR · 2018 · author #4
3. Anonymous Single-Sign-On for n designated services with traceability cs.CR · 2018 · author #4
4. Privacy-Preserving Electronic Ticket Scheme with Attribute-based Credentials cs.CR · 2017 · author #4
5. Formal Analysis of V2X Revocation Protocols cs.CR · 2017 · author #6
6. Symbolic Reachability Analysis of B through ProB and LTSmin cs.SE · 2016 · author #6
7. Managing LTL properties in Event-B refinement cs.SE · 2014 · author #2

Mentions

• 1406.6622 #2 · backfill · confidence 0.70 Helen Treharne
• 2601.11178 #2 · arxiv_oai · confidence 0.70 Helen Treharne

Frequent Coauthors

• Steve Schneider 5 shared papers
• Liqun Chen 4 shared papers
• Jinguang Han 3 shared papers
• Stephan Wesemeyer 3 shared papers
• Jorden Whitefield 2 shared papers
• Andrew Paverd 1 shared papers
• David Williams 1 shared papers
• Diptesh Kanojia 1 shared papers
• Frank Kargl 1 shared papers
• Girish A. Koushik 1 shared papers
• Heike Wehrheim 1 shared papers
• Jaco van de Pol 1 shared papers
• Jens Bendisposto 1 shared papers
• Jeroen Meijer 1 shared papers
• Michael Leuschel 1 shared papers
• Nick Wils 1 shared papers
• Philipp Koerner 1 shared papers
• Steve Wesemeyer 1 shared papers