Amrit Kumar

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