| A Traceability Analysis of Monero's Blockchain A Kumar, C Fischer, S Tople, P Saxena European Symposium on Research in Computer Security (ESORICS), 2017 | 111 | 2017 |
| Scilla: a Smart Contract Intermediate-Level LAnguage I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018 | 66 | 2018 |
| 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 | 27 | 2019 |
| 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 | 17 | 2015 |
| The pitfalls of hashing for privacy L Demir, A Kumar, M Cunche, C Lauradoux IEEE Communications Surveys & Tutorials 20 (1), 551-565, 2017 | 14 | 2017 |
| Temporal Properties of Smart Contracts I Sergey, A Kumar, A Hobor International Symposium on Leveraging Applications of Formal Methods, 323-338, 2018 | 13 | 2018 |
| 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 | 9 | 2016 |
| Performances of Cryptographic Accumulators A Kumar, P Lafourcade, C Lauradoux IEEE Conference on Local Computer Networks (LCN), 2014 | 4 | 2014 |
| 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 | 2 | 2017 |
| Security and Privacy of Hash-Based Software Applications A Kumar | 2 | 2016 |
| (Un) Safe Browsing T Gerbet, A Kumar, C Lauradoux | 1 | 2014 |
| 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 | 1 | 2012 |
| 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 |
Ilya SergeyYale-NUS College and National University of SingaporeVerified email at yale-nus.edu.sg
