Hierarchical control-flow model for system synthesis

被引：0
|
作者：
DIBE - Universita di Genova, Genova, Italy [1 ]
机构：
来源：
Alta Freq Riv Elettron | / 6卷 / 37-40期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] LightFAt: Mitigating Control-flow Explosion via Lightweight PMU-based Control-flow Attestation
    Gonzalez-Gomez, Jeferson
    Nassar, Hassan
    Bauer, Lars
    Henkel, Joerg
    2024 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST, HOST, 2024, : 222 - 226
  • [22] KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
    Criswell, John
    Dautenhahn, Nathan
    Adve, Vikram
    2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, : 292 - 307
  • [23] Survey on Control-flow Integrity Techniques
    Zhang Z.
    Xue J.-F.
    Zhang J.-C.
    Chen T.
    Tan Y.-A.
    Li Y.-Z.
    Zhang Q.-X.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (01): : 489 - 508
  • [24] Control-Flow Analysis of Functional Programs
    Midtgaard, Jan
    ACM COMPUTING SURVEYS, 2012, 44 (03)
  • [25] Pushdown Control-Flow Analysis for Free
    Gilray, Thomas
    Lyde, Steven
    Adams, Michael D.
    Might, Matthew
    Van Horn, David
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 691 - 704
  • [26] Control-Flow Integrity: Attacks and Protections
    Sayeed, Sarwar
    Marco-Gisbert, Hector
    Ripoll, Ismael
    Birch, Miriam
    APPLIED SCIENCES-BASEL, 2019, 9 (20):
  • [27] Tolerance of control-flow testing criteria
    Vilkomir, SA
    Kapoor, K
    Bowen, JP
    27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 182 - 187
  • [28] Control-flow analysis in cubic time
    Nielson, F
    Seidl, H
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 252 - 268
  • [29] Advanced control-flow and concurrency in C∀
    Delisle, Thierry
    Buhr, Peter A.
    SOFTWARE-PRACTICE & EXPERIENCE, 2021, 51 (05): : 1005 - 1042
  • [30] The Bounded Pathwidth of Control-Flow Graphs
    Conrado, Giovanna Kobus
    Goharshady, Amir Kafshdar
    Lam, Chun Kit
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
12345