Amrit Kumar

ORCID

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 11

Top Venues

CoRR

DSN

MobiQuitous

Proc. ACM Program. Lang.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

George Pîrlea, Amrit Kumar, Ilya Sergey
Practical smart contract sharding with ownership and commutativity analysis. PLDI (2021)
Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey
Compiling a Higher-Order Smart Contract Language to LLVM. CoRR (2020)
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, Ken Chan Guan Hao
Safer smart contract programming with Scilla. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Levent Demir, Amrit Kumar, Mathieu Cunche, Cédric Lauradoux
The Pitfalls of Hashing for Privacy. IEEE Commun. Surv. Tutorials 20 (1) (2018)
Ilya Sergey, Amrit Kumar, Aquinas Hobor
Temporal Properties of Smart Contracts. ISoLA (4) (2018)
Ilya Sergey, Amrit Kumar, Aquinas Hobor
Scilla: a Smart Contract Intermediate-Level LAnguage. CoRR (2018)
Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena
A Traceability Analysis of Monero's Blockchain. IACR Cryptol. ePrint Arch. 2017 (2017)
Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena
A Traceability Analysis of Monero's Blockchain. ESORICS (2) (2017)
Margaux Canet, Amrit Kumar, Cédric Lauradoux, Mary-Andréa Rakotomanga, Reihaneh Safavi-Naini
Decompression Quines and Anti-Viruses. CODASPY (2017)
Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade
Duck Attack on Accountable Distributed Systems. MobiQuitous (2017)
Thomas Gerbet, Amrit Kumar, Cédric Lauradoux
A Privacy Analysis of Google and Yandex Safe Browsing. DSN (2016)
Amrit Kumar, Cédric Lauradoux
A Survey of Alerting Websites: Risks and Solutions. SEC (2015)
Thomas Gerbet, Amrit Kumar, Cédric Lauradoux
The Power of Evil Choices in Bloom Filters. DSN (2015)
Amrit Kumar, Cédric Lauradoux
Private Password Auditing - Short Paper. PASSWORDS (2014)
Amrit Kumar, Pascal Lafourcade, Cédric Lauradoux
Performances of cryptographic accumulators. LCN (2014)

Amrit Kumar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Amrit Kumar