Samarth Kishor

Orcid: 0009-0005-3795-3117

According to our database¹, Samarth Kishor authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

[DOI]

Dataset, October, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact).

[DOI]

Dataset, September, 2025

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version).

[DOI]

CoRR, July, 2025