Yan

Results: 2186



#Item
1

LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu

Add to Reading List

Source URL: dacongy.github.io

Language: English - Date: 2017-06-27 01:04:15
    2Static program analysis / Software engineering / Computing / Programming language theory / Control flow analysis / Soot / Call graph / Compiler / Analysis / Data-flow analysis / SIGPLAN / Java

    Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

    Add to Reading List

    Source URL: dacongy.github.io

    Language: English - Date: 2017-06-27 01:04:15
    3Group theory / Algebra / Abstract algebra / Geometry / N-group / Bluetooth / Subgroup / Formation / Index of a subgroup

    GAnGS: Gather, Authenticate ’n Group Securely ∗ Chia-Hsin Owen Chen† , Chung-Wei Chen‡ , Cynthia Kuo§ , Yan-Hao Lai∗ , Jonathan M. McCune§ , Ahren Studer§⋄ , Adrian Perrig§ , Bo-Yin Yang† , Tzong-Chen

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2011-03-20 04:03:38
    4

    Systematic Testing for Resource Leaks in Android Applications Dacong Yan Shengqian Yang

    Add to Reading List

    Source URL: dacongy.github.io

    Language: English - Date: 2017-06-27 01:04:15
      5Software engineering / Subroutines / Computing / Computer programming / Programming paradigms / Callback / Network flow problem / Event / Data-flow analysis / Control flow analysis / Flow network / Control flow graph

      Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

      Add to Reading List

      Source URL: dacongy.github.io

      Language: English - Date: 2017-06-27 01:04:15
      6Graph theory / Graph connectivity / Strongly connected component / Reachability / Graph / Node / Topological sorting

      Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

      Add to Reading List

      Source URL: dacongy.github.io

      Language: English - Date: 2017-06-27 01:04:15
      7Computing / Computer programming / Software engineering / Knowledge representation / Tree / Node / Static single assignment form / Object Process Methodology / Recursion

      Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan

      Add to Reading List

      Source URL: dacongy.github.io

      Language: English - Date: 2017-06-27 01:04:15
      8

      Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

      Add to Reading List

      Source URL: dacongy.github.io

      Language: English - Date: 2017-06-27 01:04:15
        9Rationing / Road space rationing / Sustainable transport / Stanford University / Yan / Computer network / Transport / 1st millennium BC / Holocene

        Pantheon: the training ground for Internet congestion-control research https://pantheon.stanford.edu Francis Y. Yan† , Jestin Ma† , Greg D. Hill† , Deepti Raghavan¶ , Riad S. Wahby† , Philip Levis† , Keith Win

        Add to Reading List

        Source URL: platformlab.stanford.edu

        Language: English - Date: 2018-06-18 15:29:45
        10Computing / Software / Cryptography / Transport Layer Security / HTTP Strict Transport Security / HTTP Public Key Pinning / HTTP cookie / Browser security / HTTPS / Public key certificate / Google Chrome / Firefox

        Poster: Security Analysis of HSTS Implementation in Browsers Yan Jia1,2, Yuqing Zhang2,1 1 2

        Add to Reading List

        Source URL: www.ieee-security.org

        Language: English - Date: 2017-04-14 22:48:20
        UPDATE