Amrit Kumar
Amrit Kumar
Research Fellow, National University of Singapore
Verified email at inria.fr - Homepage
TitleCited byYear
A Traceability Analysis of Monero's Blockchain
A Kumar, C Fischer, S Tople, P Saxena
European Symposium on Research in Computer Security (ESORICS), 2017
652017
Scilla: a Smart Contract Intermediate-Level LAnguage
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 2018
462018
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
82016
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
82015
The pitfalls of hashing for privacy
L Demir, A Kumar, M Cunche, C Lauradoux
IEEE Communications Surveys & Tutorials 20 (1), 551-565, 2018
62018
Temporal Properties of Smart Contracts
I Sergey, A Kumar, A Hobor
International Symposium on Leveraging Applications of Formal Methods, 323-338, 2018
42018
Performances of Cryptographic Accumulators
A Kumar, P Lafourcade, C Lauradoux
IEEE Conference on Local Computer Networks (LCN), 2014
32014
Security and Privacy of Hash-Based Software Applications
A Kumar
Université Grenoble Alpes, 2016
22016
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
12017
(Un) Safe Browsing
T Gerbet, A Kumar, C Lauradoux
INRIA, 2014
12014
Algorithm-Based Secure and Fault Tolerant Outsourcing of Matrix Computations
A Kumar, JL Roch
1*2013
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
Université Grenoble Alpes, 2016
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
Safecomp 2013 FastAbstract, NC, 2013
2013
Proofs as Cryptography: a new interpretation of the Curry-Howard isomorphism for software certificates
A Kumar, PA Fouque, T Genet, M Tibouchi
2012
On the (In) security of Google Safe Browsing
T Gerbet, A Kumar, C Lauradoux
The system can't perform the operation now. Try again later.
Articles 1–20