Performances of cryptographic accumulators. - Amrit Kumar 001; Pascal Lafourcade 001; Cédric Lauradoux (LCN, 2014)

Private Password Auditing - Short Paper. - Amrit Kumar 001; Cédric Lauradoux (PASSWORDS, 2014)

The Power of Evil Choices in Bloom Filters. - Thomas Gerbet; Amrit Kumar 001; Cédric Lauradoux (DSN, 2015)

A Survey of Alerting Websites: Risks and Solutions. - Amrit Kumar 001; Cédric Lauradoux (SEC, 2015)

A Privacy Analysis of Google and Yandex Safe Browsing. - Thomas Gerbet; Amrit Kumar 001; Cédric Lauradoux (DSN, 2016)

Security and privacy for outsourced computations. (Sécurité et protection de la vie privée pour le calcul déporté). - Amrit Kumar 001 (2016)

Decompression Quines and Anti-Viruses. - Margaux Canet; Amrit Kumar 001; Cédric Lauradoux; Mary-Andréa Rakotomanga; Reihaneh Safavi-Naini (CODASPY, 2017)

Duck Attack on Accountable Distributed Systems. - Amrit Kumar 001; Cédric Lauradoux; Pascal Lafourcade 001 (MobiQuitous, 2017)

A Traceability Analysis of Monero's Blockchain. - Amrit Kumar 001; Clément Fischer; Shruti Tople; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

Temporal Properties of Smart Contracts. - Ilya Sergey; Amrit Kumar 001; Aquinas Hobor (ISoLA (4), 2018)

The Pitfalls of Hashing for Privacy. - Levent Demir; Amrit Kumar 001; Mathieu Cunche; Cédric Lauradoux (IEEE Commun. Surv. Tutorials, 2018)

Scilla: a Smart Contract Intermediate-Level LAnguage. - Ilya Sergey; Amrit Kumar 001; Aquinas Hobor (CoRR, 2018)

Safer smart contract programming with Scilla. - Ilya Sergey; Vaivaswatha Nagaraj; Jacob Johannsen; Amrit Kumar 001; Anton Trunov; Ken Chan Guan Hao (Proc. ACM Program. Lang., 2019)

Compiling a Higher-Order Smart Contract Language to LLVM. - Vaivaswatha Nagaraj; Jacob Johannsen; Anton Trunov; George Pîrlea; Amrit Kumar 001; Ilya Sergey (CoRR, 2020)

Practical smart contract sharding with ownership and commutativity analysis. - George Pîrlea; Amrit Kumar 001; Ilya Sergey (PLDI, 2021)