Numeric Truncation Security Predicate

被引：0
|
作者：
Mezhuev, Timofey [1 ,2 ]
Kobrin, Ilay [1 ,2 ]
Vishnyakov, Alexey [3 ]
Kuts, Daniil [1 ]
机构：
[1] Ivannikov Institute for System Programming of the Ras, Moscow, Russia
[2] Lomonosov Moscow State University, Moscow, Russia
[3] Yandex Cloud, Moscow, Russia
来源：
Proceedings - Ivannikov ISPRAS Open Conference | 2023年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023
中图分类号：
学科分类号：
摘要：
C++ (programming language) - Model checking - Open source software
引用
收藏
页码：84 / 92
相关论文
共 50 条
  • [21] Security technology reduces crime
    Rupprecht, R.
    Technische Sicherheit, 2023, 13 (9-10): : 26 - 29
  • [22] IEEE Security and Privacy Subscription
    Computer, 2023, 56 (12) : 17
  • [23] A Review of Cyber Security and Blockchain
    Qose, Silvana
    Fregan, Beatrix
    SACI 2022 - IEEE 16th International Symposium on Applied Computational Intelligence and Informatics, Proceedings, 2022, : 87 - 92
  • [24] Monitoring android communications for security
    Gomez-Hernandez, J.A.
    Garcia-Teodoro, P.
    Holgado-Terriza, J.A.
    Macia-Fernandez, G.
    Camacho-Paez, J.
    Noguera-Comino, J.M.
    IEEE INFOCOM 2021 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2021, 2021,
  • [25] Data Security in Internet of Things
    Rani, T.P.
    Suganthi, K.
    Smart Innovation, Systems and Technologies, 2022, 248 : 593 - 601
  • [26] The Demographics of Defense and Security in Japan
    NOVA IMS—Universidade Nova de Lisboa, Université Paris-Dauphine PSL, MagIC, CEFAGE-UE, Lisbon, Portugal
    Smart Innov. Syst. Technol., (359-370):
  • [27] Introduction to the Security and Privacy in Government Minitrack
    White, Gregory B.
    Conklin, Wm Arthur
    Harrison, Keith
    Proceedings of the Annual Hawaii International Conference on System Sciences, 2022, 2022-January
  • [28] The M-P of cyber security
    Renaud, Karen
    Network Security, 2023, 2023 (08):
  • [29] A Novel Approach for File Security in Cloud
    Priyadharsini, M.
    Mary, I. Mettildha
    Karuppasamy, K.
    Margret Sharmila, F.
    EAI/Springer Innovations in Communication and Computing, 2022, : 601 - 613
  • [30] Integrating security concerns into software development
    Al-Fedaghi, S. (sabah@alfedaghi.com), 1600, Science and Engineering Research Support Society, 20 Virginia Court, Sandy Bay, Tasmania, Australia (07):
12345