Concepedia

S. Hitarth

SH

Statistics

Publications

3

Citations

43

H-Index

3

Active since

2022

Affiliations

Hong Kong University of Science and Technology(Current)

S. Hitarth is an author at Hong Kong University of Science and Technology specializing in computer science, smart contracts, and security protocols.

Publications per year

2022–2023

3

Publications

3

Membership Inference Attacks and Generalization

Teodora Baluta, Shiqi Shen, S. Hitarth et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022 · 16 citations · Full text

, , +14

Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts

Zhuo Cai, Soroush Farokhnia, Amir Kafshdar Goharshady et al. · Proceedings of the ACM on Programming Languages · 2023 · 14 citations · Full text

, , +9

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi et al. · Proceedings of the ACM on Programming Languages · 2023 · 13 citations · Full text

, , +9

1–3 of 3