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 条
  • [41] Privacy and security issues related to smart meter
    Gao, Kunlun
    Liu, Jianming
    44th International Conference on Large High Voltage Electric Systems 2012, 2012,
  • [42] SECURITY OF A POPULAR SCRAMBLING SCHEME FOR TV PICTURES
    MANGULIS, V
    RCA REVIEW, 1980, 41 (03): : 423 - 432
  • [43] A Survey on VANET attacks and its Security Mechanisms
    Sapala, Tejaswi
    Penumallu, Rama Chandra Suresh Reddy
    Kiran, Reddy Sai
    Rajesh, M.V.
    Devi, B.S. Kiruthika
    PDGC 2022 - 2022 7th International Conference on Parallel, Distributed and Grid Computing, 2022, : 435 - 440
  • [44] Analysis and research to security testing of smart card
    Wuhan University of Science and Engineering, Electron and Information Engineering Institute, Wuhan, China
    Proc. - Int. Conf. Electron. Commer. Bus. Intell., ECBI, 1600, (99-101):
  • [45] EDITORIAL MESSAGE: Special Track on Computer Security
    Bella, Giampaolo
    Radomirović, Saša
    Proceedings of the ACM Symposium on Applied Computing, 2023, : 1520 - 1521
  • [46] Advanced security technologies and applications for ubiquitous computing
    Kim, Jongsung
    Lu, Jiqiang
    Hsu, Ching-Hsien
    PERSONAL AND UBIQUITOUS COMPUTING, 2013, 17 (05) : 835 - 836
  • [47] An Android runtime security policy enforcement framework
    Security Engineering Research Group , Institute of Management Sciences, 1-A, E-5, Phase VII, Hayatabad, Peshawar, Pakistan
    不详
    Pers. Ubiquitous Comp., 6 (631-641):
  • [48] Analysis of Recent Challenges and Solutions in Network Security
    Shanmugam, Thavamani
    Malarkodi, B.
    2019 2nd International Conference on Intelligent Computing, Instrumentation and Control Technologies, ICICICT 2019, 2019, : 902 - 907
  • [49] Multimodal security enhancement scheme for Java card
    Song, Yongsang
    Choi, Jongmoo
    Han, Kyongho
    Proceedings - 2011 International Conference on Network-Based Information Systems, NBiS 2011, 2011, : 622 - 627
  • [50] Simulation model development in information security education
    Kennesaw State University, 1000 Chastain Road, Kennesaw, GA 30144-5591, United States
    Proc. Inf. Secur. Curric. Dev. Annu. Conf., InfoSecCD, (21-26):
12345