Amrit Kumar

According to our database, Amrit Kumar authored at least 15 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Practical smart contract sharding with ownership and commutativity analysis.

George Pîrlea, Amrit Kumar, Ilya Sergey

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Compiling a Higher-Order Smart Contract Language to LLVM.

Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey

CoRR, 2020

2019

Safer smart contract programming with Scilla.

Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, Ken Chan Guan Hao

Proc. ACM Program. Lang., 2019

2018

Scilla: a Smart Contract Intermediate-Level LAnguage.

Ilya Sergey, Amrit Kumar, Aquinas Hobor

CoRR, 2018

The Pitfalls of Hashing for Privacy.

Levent Demir, Amrit Kumar, Mathieu Cunche, Cédric Lauradoux

IEEE Commun. Surv. Tutorials, 2018

Temporal Properties of Smart Contracts.

Ilya Sergey, Amrit Kumar, Aquinas Hobor

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

A Traceability Analysis of Monero's Blockchain.

Amrit Kumar, Clément Fischer, Shruti Tople, Prateek Saxena

IACR Cryptol. ePrint Arch., 2017

Duck Attack on Accountable Distributed Systems.

Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade

Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

Decompression Quines and Anti-Viruses.

Margaux Canet, Amrit Kumar, Cédric Lauradoux, Mary-Andréa Rakotomanga, Reihaneh Safavi-Naini

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

2016

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

Amrit Kumar

PhD thesis, 2016

A Privacy Analysis of Google and Yandex Safe Browsing.

Thomas Gerbet, Amrit Kumar, Cédric Lauradoux

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

A Survey of Alerting Websites: Risks and Solutions.

Amrit Kumar, Cédric Lauradoux

Proceedings of the ICT Systems Security and Privacy Protection, 2015

The Power of Evil Choices in Bloom Filters.

Thomas Gerbet, Amrit Kumar, Cédric Lauradoux

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Private Password Auditing - Short Paper.

Amrit Kumar, Cédric Lauradoux

Proceedings of the Technology and Practice of Passwords, 2014

Performances of cryptographic accumulators.

Amrit Kumar, Pascal Lafourcade, Cédric Lauradoux

Proceedings of the IEEE 39th Conference on Local Computer Networks, 2014