Login / Signup
Pratyush Agarwal
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 6
Top Topics
Spectral Analysis
Autoregressive
Policy Iteration
Timed Automata
Top Venues
CoRR
IACR Cryptol. ePrint Arch.
CAV (1)
EUROCRYPT (3)
</>
Publications
</>
Pratyush Agarwal
,
Varun Narayanan
,
Shreya Pathak
,
Manoj Prabhakaran
,
Vinod M. Prabhakaran
,
Mohammad Ali Rehan
Secure Non-Interactive Reduction and Spectral Analysis of Correlations.
IACR Cryptol. ePrint Arch.
2022 (2022)
Ritesh Goenka
,
Eashan Gupta
,
Sushil Khyalia
,
Pratyush Agarwal
,
Mulinti Shaik Wajid
,
Shivaram Kalyanakrishnan
Some Upper Bounds on the Running Time of Policy Iteration on Deterministic MDPs.
CoRR
(2022)
Pratyush Agarwal
,
Varun Narayanan
,
Shreya Pathak
,
Manoj Prabhakaran
,
Vinod M. Prabhakaran
,
Mohammad Ali Rehan
Secure Non-interactive Reduction and Spectral Analysis of Correlations.
EUROCRYPT (3)
(2022)
Pratyush Agarwal
,
Krishnendu Chatterjee
,
Shreya Pathak
,
Andreas Pavlogiannis
,
Viktor Toman
Stateless Model Checking under a Reads-Value-From Equivalence.
CoRR
(2021)
Pratyush Agarwal
,
Krishnendu Chatterjee
,
Shreya Pathak
,
Andreas Pavlogiannis
,
Viktor Toman
Stateless Model Checking Under a Reads-Value-From Equivalence.
CAV (1)
(2021)
Triveni Billa
,
Scott R. Horton
,
Mayuresh Sahasrabudhe
,
Chandra Saravanan
,
Zhen Hou
,
Pratyush Agarwal
,
Juan Lucio-Vega
,
Michael T. Klein
Enhancing the value of detailed kinetic models through the development of interrogative software applications.
Comput. Chem. Eng.
106 (2017)