EXERT: EXhaustive IntEgRiTy Analysis for Information Flow Security

被引：0
|
作者：
Wu, Jiaming [1 ]
Fowze, Farhaan [1 ]
Forte, Domenic [1 ]
机构：
[1] University of Florida, United States
来源：
Proceedings of the 2022 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2022 | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Chemical activation - Design for testability - Malware
引用
收藏
相关论文
共 50 条
  • [41] Voltage security assessment of large power systems using modal analysis
    Maya, B.
    Sunitha, R.
    2011 International Conference on Emerging Trends in Electrical and Computer Technology, ICETECT 2011, 2011, : 116 - 121
  • [42] Security Analysis of IoT Devices: From the system level to the logic level
    Puschner E.
    Paar C.
    IEEE Solid-State Circuits Magazine, 2023, 15 (01): : 32 - 37
  • [43] Open Source Hardware Design and Hardware Reverse Engineering: A Security Analysis
    Baehr, Johanna
    Hepp, Alexander
    Brunner, Michaela
    Malenko, Maja
    Sigl, Georg
    Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022, 2022, : 504 - 512
  • [44] NUMERICAL ANALYSIS OF AN AXISYMMETRIC VISCOUS FLOW.
    U Mya Oo
    Kambe, Tsutomu
    Memoirs of the Kyushu University, Faculty of Engineering, 1982, 42 (04): : 371 - 388
  • [45] Flow Analysis of Conclad Extrusion with Two Wheels
    Department of Mechanical Engineering, College of Science and Technology, Nihon University, 1-8-14 Surugadai, Kanda, Chiyoda-ku, Tokyo
    101-8380, Japan
    Mater. Today Proc., 1600, 10 (4786-4793):
  • [46] Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)
    Berthier, Nicolas
    Khakpour, Narges
    arXiv, 2022,
  • [47] Analysis and Design of Policy and Standard Operating Procedure (SOP) for Information Technology in the Communication and Information Services Department
    Lubis, Muharman
    Ananza, Hikam Haikal Radya
    Suryoputro, Fritasya Dwiputri
    6th International Conference on Interactive Digital Media, ICIDM 2020, 2020,
  • [48] A method to quantify risks of financial assets: An empirical analysis of Japanese security prices
    Department of Applied Mathematics and Physics, Graduate School of Informatics, Kyoto University, Yoshida Honcho, Sakyo-ku, Kyoto 606-8501, Japan
    Adv. Mater. Res., (469-473):
  • [49] Quantitative evaluation of national energy security by using multi-objective analysis
    Department of Management Science and Technology, Tohoku University, 6-6-11-816 Aramakiazaaoba, Aoba-ku, Sendai-shi, Miyagi
    980-8579, Japan
    Int, Conf. Power Eng.,
  • [50] Medical Social Security System Considering Multisensor Data Fusion and Online Analysis
    An, Ying
    MOBILE INFORMATION SYSTEMS, 2022, 2022
12345