PIFT: Predictive information-flow tracking

被引：0
|
作者：
机构：
[1] Yoon, Man-Ki
[2] Salajegheh, Negin
[3] Chen, Yin
[4] Christodorescu, Mihai
来源：
| 1600年 / Association for Computing Machinery卷 / 51期
关键词：
23;
D O I：
10.1145/2872362.2872403
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] PIFT : Predictive Information-Flow Tracking
    Yoon, Man-Ki
    Salajegheh, Negin
    Chen, Yin
    Christodorescu, Mihai
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (04) : 713 - 725
  • [2] INFORMATION-FLOW
    不详
    [J]. NATION, 1981, 233 (04) : 101 - 102
  • [3] GATE-LEVEL INFORMATION-FLOW TRACKING FOR SECURE ARCHITECTURES
    Tiwari, Mohit
    Li, Xun
    Wassel, Hassan M. G.
    Mazloom, Bita
    Mysore, Shashidhar
    Chong, Frederic T.
    Sherwood, Timothy
    [J]. IEEE MICRO, 2010, 30 (01) : 92 - 100
  • [4] IMPROVING THE INFORMATION-FLOW
    HAKE, DL
    [J]. BULLETIN OF THE ATOMIC SCIENTISTS, 1962, 18 (09) : 21 - 22
  • [5] MAKING INFORMATION-FLOW
    MARTIN, JM
    [J]. MANUFACTURING ENGINEERING, 1989, 102 (05): : 75 - 78
  • [6] Information-flow Interfaces
    Bartocci, Ezio
    Ferrere, Thomas
    Henzinger, Thomas A.
    Nickovic, Dejan
    da Costa, Ana Oliveira
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 3 - 22
  • [7] TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones
    Enck, William
    Gilbert, Peter
    Han, Seungyeop
    Tendulkar, Vasant
    Chun, Byung-Gon
    Cox, Landon P.
    Jung, Jaeyeon
    McDaniel, Patrick
    Sheth, Anmol N.
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 2014, 32 (02):
  • [8] Detecting Hardware Trojans with Gate-Level Information-Flow Tracking
    Hu, Wei
    Mao, Baolei
    Oberg, Jason
    Kastner, Ryan
    [J]. COMPUTER, 2016, 49 (08) : 44 - 52
  • [9] Information-flow interfaces
    Bartocci, Ezio
    Ferrere, Thomas
    Henzinger, Thomas A.
    Nickovic, Dejan
    Oliveira da Costa, Ana
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2024,
  • [10] PATIENT INFORMATION-FLOW
    BLEKELI, RD
    [J]. INFORMATION PRIVACY, 1980, 2 (01): : 37 - 41
12345