Handling Partially-Achieved Goals in Planning. - Akshay Wadia; Niladri Chatterjee (IICAI, 2003)

Founding Cryptography on Tamper-Proof Hardware Tokens. - Vipul Goyal; Yuval Ishai; Amit Sahai; Ramarathnam Venkatesan; Akshay Wadia (IACR Cryptol. ePrint Arch., 2010)

Resettable Statistical Zero Knowledge. - Sanjam Garg; Rafail Ostrovsky; Ivan Visconti; Akshay Wadia (IACR Cryptol. ePrint Arch., 2011)

Cryptography Using CAPTCHA Puzzles. - Abishek Kumarasubramanian; Rafail Ostrovsky; Omkant Pandey; Akshay Wadia (IACR Cryptol. ePrint Arch., 2012)

Universally Composable Secure Computation with (Malicious) Physically Uncloneable Functions. - Rafail Ostrovsky; Alessandra Scafuro; Ivan Visconti; Akshay Wadia (IACR Cryptol. ePrint Arch., 2012)

A Counterexample to the Chain Rule for Conditional HILL Entropy - And What Deniable Encryption Has to Do with It. - Stephan Krenn; Krzysztof Pietrzak; Akshay Wadia (TCC, 2013)

Secure Computation Using Leaky Tokens. - Manoj Prabhakaran 001; Amit Sahai; Akshay Wadia (ICALP (1), 2014)

Privacy preserving protocol for detecting genetic relatives using rare variants. - Farhad Hormozdiari; Jong Wha J. Joo; Akshay Wadia; Feng Guan; Rafail Ostrovsky; Amit Sahai; Eleazar Eskin (Bioinform., 2014)

Secure Computation from Hardware Assumptions. - Akshay Wadia (2014)

Private Interactive Communication Across an Adversarial Channel. - Ran Gelles; Amit Sahai; Akshay Wadia (IEEE Trans. Inf. Theory, 2015)

A counterexample to the chain rule for conditional HILL entropy. - Stephan Krenn; Krzysztof Pietrzak; Akshay Wadia; Daniel Wichs (Comput. Complex., 2016)

Two-Message Witness Indistinguishability and Secure Computation in the Plain Model from New Assumptions. - Saikrishna Badrinarayanan; Sanjam Garg; Yuval Ishai; Amit Sahai; Akshay Wadia (IACR Cryptol. ePrint Arch., 2017)