Amrit Kumar
Amrit Kumar
Research Fellow, National University of Singapore
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
A Traceability Analysis of Monero's Blockchain
A Kumar, C Fischer, S Tople, P Saxena
European Symposium on Research in Computer Security (ESORICS), 2017
1432017
Scilla: a Smart Contract Intermediate-Level LAnguage
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 2018
822018
Safer smart contract programming with Scilla
I Sergey, V Nagaraj, J Johannsen, A Kumar, A Trunov, KCG Hao
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
462019
The Power of Evil Choices in Bloom Filters
T Gerbet, A Kumar, C Lauradoux
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2015
262015
Temporal Properties of Smart Contracts
I Sergey, A Kumar, A Hobor
International Symposium on Leveraging Applications of Formal Methods, 323-338, 2018
192018
The pitfalls of hashing for privacy
L Demir, A Kumar, M Cunche, C Lauradoux
IEEE Communications Surveys & Tutorials 20 (1), 551-565, 2017
172017
A Privacy Analysis of Google and Yandex Safe Browsing
T Gerbet, A Kumar, C Lauradoux
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016
122016
Performances of Cryptographic Accumulators
A Kumar, P Lafourcade, C Lauradoux
IEEE Conference on Local Computer Networks (LCN), 2014
62014
Decompression Quines and Anti-Viruses
M Canet, A Kumar, C Lauradoux, MA Rakotomanga, R Safavi-Naini
ACM Conference on Data and Applications Security and Privacy (CODASPY), 2017
22017
Security and Privacy of Hash-Based Software Applications
A Kumar
22016
(Un) Safe Browsing
T Gerbet, A Kumar, C Lauradoux
22014
Algorithm-Based Secure and Fault Tolerant Outsourcing of Matrix Computations
A Kumar, JL Roch
1*2013
Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates
A Kumar, PA Fouque, T Genet, M Tibouchi
12012
Duck Attack on Accountable Distributed Systems
A Kumar, C Lauradoux, L Pascal
MobiQuitous, 2017
2017
Titre: sécurité et protection de la vie privée pour le calcul déporté.
A Kumar
Grenoble Alpes, 2016
2016
Security and privacy for outsourced computations.
A Kumar
2016
A Survey of Alerting Websites: Risks and Solutions
A Kumar, C Lauradoux
IFIP SEC 2015 455, 126--141, 2015
2015
HAL Id: hal-01064822
T Gerbet, A Kumar, C Lauradoux
2014
Private Password Auditing - Short Paper
A Kumar, C Lauradoux
PASSWORDS, 138--145, 2014
2014
Secured Outsourced Linear Algebra
A Kumar, JL Roch, C Pernet
2013
The system can't perform the operation now. Try again later.
Articles 1–20