◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Chaitanya Agarwal

4 papers hereh-index 211 citations6 works total

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

author position
  • middle author4

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

fields
  • cs.CL1
  • cs.IR1
  • cs.LO1
  • cs.PL1
same name
  • Chaitanya Agarwal — 1 paper, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Logical Relations for Formally Verified Authenticated Data Structures

Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

Authenticated data structures allow untrusted third parties to carry out operations which produce proofs that can be used to verify an operation's output. Such data structures are…

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