Kumar

Results: 2574



#Item
121

Learning to Prove with Tactics Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish March 28, 2018

Add to Reading List

Source URL: cl-informatik.uibk.ac.at

- Date: 2018-03-31 16:27:01
    122

    Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde

    Add to Reading List

    Source URL: kumarde.com

    - Date: 2018-01-08 17:29:16
      123

      Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

      Add to Reading List

      Source URL: arxiv.org

      - Date: 2018-01-02 20:44:15
        124

        Understanding the Mirai Botnet Manos Antonakakis Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein◦ Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi◦ Michalis Kallitsis§ Deepak Kumar

        Add to Reading List

        Source URL: kumarde.com

        - Date: 2017-08-19 23:51:27
          125

          Security Challenges in an Increasingly Tangled Web Deepak Kumar† Zane Ma† Zakir Durumeric‡† Ariana Mirian‡ Joshua Mason†

          Add to Reading List

          Source URL: mdbailey.ece.illinois.edu

          - Date: 2017-05-09 19:49:11
            126

            C3D: Mitigating the NUMA Bottleneck via Coherent DRAM Caches Cheng-Chieh Huang Rakesh Kumar Marco Elver Boris Grot Vijay Nagarajan Institute of Computing Systems Architecture University of Edinburgh

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2016-08-29 06:59:07
              127

              Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

              Add to Reading List

              Source URL: ilyasergey.net

              - Date: 2018-03-26 18:04:21
                128

                Deepak Kumar University of Illinois, Urbana-Champaign Computer Science 445 Coordinated Science Laboratory Phone:

                Add to Reading List

                Source URL: kumarde.com

                - Date: 2018-01-28 19:06:31
                  129

                  Semi-Supervised Hashing for Scalable Image Retrieval Jun Wang Columbia University New York, NY, Sanjiv Kumar

                  Add to Reading List

                  Source URL: www.ee.columbia.edu

                  - Date: 2010-09-09 15:10:24
                    UPDATE