Automatic Generation of Simulators for Processors Enhanced for Security in Virtualization

被引:0
|
作者
Mhatre, Swapneel C. [1 ]
Chandran, Priya [1 ]
机构
[1] Natl Inst Technol Calicut, Dept Comp Sci & Engn, Kozhikode 673601, Kerala, India
来源
IEEE ACCESS | 2025年 / 13卷
基金
新加坡国家研究基金会;
关键词
Virtualization; Security; Virtual machine monitors; Generators; Computer architecture; Pipelines; Timing; Registers; Virtual machines; Register transfer level; Compiler; computer architecture; hypervisor; operating system; security in virtualization; simulation;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
All new computer architectures need to be performance evaluated for acceptance and simulation is the most widely used method for evaluation of new processor designs. Sharing resources with virtualization raised many security concerns, leading to the development of processors that are enhanced for security in virtualization. The simulators for processors enhanced for security in virtualization need to perform simulation of hypervisor instructions, simulation of security in virtualization, and simulation of new instructions. However, a simulator with all of these three features is not found in the literature. Hence, this paper proposes an approach for the simulation of processors enhanced for security in virtualization that provides all these three features. For user convenience, the simulators are generated automatically from the target processor specifications using a simulator generator. The paper also proposes an approach for simulating a new pipeline with a designer-specified number of stages with automatic detection of pipeline hazards and automatic stalling or flushing of the pipeline on detection of hazards. To demonstrate the use of the simulator generator and the generated simulator, three case studies are considered - simulation of RISC-V with HyperWall, simulation of RISC-V with bit-serial dot-product unit, and simulation of RISC-V with Galois Field arithmetic extension. The paper concludes that the proposed approaches help in accurately simulating the overhead due to security in virtualization and also in providing flexibility to the designer to simulate the desired processor configurations.
引用
收藏
页码:11930 / 11943
页数:14
相关论文
共 50 条
  • [11] Fast automatic security protocol generation
    Zhou, Hongbin
    Foley, Simon
    JOURNAL OF COMPUTER SECURITY, 2012, 20 (2-3) : 119 - 167
  • [12] A framework for automatic generation of security controller
    Martinelli, Fabio
    Matteucci, Ilaria
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (08): : 563 - 582
  • [13] Automatic Generation of Security Argument Graphs
    Tippenhauer, Nils Ole
    Temple, William G.
    An Hoa Vu
    Chen, Binbin
    Nicol, David M.
    Kalbarczyk, Zbigniew
    Sanders, William H.
    2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), 2014, : 33 - 42
  • [14] Automatic generation of validation stimuli for application-specific processors
    Goloubeva, O
    Reorda, MS
    Violante, M
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 188 - 193
  • [15] Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors
    Thomas, Samuel
    Bornholt, James
    PROCEEDINGS OF THE 29TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, ASPLOS 2024, VOL 1, 2024, : 19 - 34
  • [16] Automatic generation of instructions to robustly test delay defects in processors
    Gurumurthy, Sankar
    Vemu, Ramtilak
    Abraham, Jacob A.
    Saab, Daniel G.
    ETS 2007: 12TH IEEE EUROPEAN TEST SYMPOSIUM, PROCEEDINGS, 2007, : 173 - +
  • [17] Virtualization and Security: Examination of A Virtualization Platform Structure
    Arslan, Ibrahim
    Ozbilgin, Izzet Gokhan
    2017 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENGINEERING (UBMK), 2017, : 221 - 226
  • [18] AUTOMATIC GENERATION OF ROAD INFRASTRUCTURE IN 3D FOR VEHICLE SIMULATORS
    Orlicky, Adam
    DRIVER-CAR INTERACTION & SAFETY CONFERENCE 2016, 2017, 12 : 79 - 82
  • [19] Automatic correlated terrain database generation and management for ground vehicle simulators
    Papelis, Y
    Allen, S
    Wehrle, B
    AIAA MODELING AND SIMULATION TECHNOLOGIES CONFERENCE: A COLLECTION OF TECHNICAL PAPERS, 1999, : 343 - 350
  • [20] A language for automatic generation of fast instruction-set compiled simulators
    Metrolho, Jose Carlos
    Couto, Carlos
    Silva, Carlos A.
    Tavares, Adriano
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 111 - +