◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Russell O'Connor

14 papers hereh-index 12798 citations22 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author7
  • first author2
  • middle author2
  • last author3

Across the 14 of 14 papers where every author was matched, so the position is known.

fields
  • cs.LO7
  • cs.PL3
  • cs.MS2
  • cs.CR1
  • math.NA1

identity via Semantic Scholar / OpenAlex

activity
20052025
most citedSimplicity: A New Language for Blockchains

49 citations · 191 across the 12 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2025

Formal Verification of the Safegcd Implementation

Russell O'Connor, Andrew Poelstra

The modular inverse is an essential piece of computation required for elliptic curve operations used for digital signatures in Bitcoin and other applications. A novel approach to t…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.