◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

David M. Russinoff

7 papers hereh-index 14939 citations48 works total

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

author position
  • sole author6
  • last author1

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

fields
  • cs.LO3
  • cs.DM2
  • cs.AR1
  • cs.CR1

identity via Semantic Scholar / OpenAlex

activity
20142023
most citedModeling Algorithms in SystemC and ACL2

8 citations · 19 across the 7 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.CR2017★ 3 cited

A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve

David M. Russinoff

We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementat…

◍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.