共 50 条
- [11] Hardware and Software Design for Automotive Security INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2013, 13 (09): : 74 - 79
- [13] Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2023 ACM International Conference Proceeding Series, 2023,
- [14] Privacy Enhancements for Hardware-Based Security Modules E-BUSINESS AND TELECOMMUNICATIONS, 2011, 130 : 224 - +
- [15] Hardware/Software Security Patches for the Internet of Things 2021 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP 2021), 2021, : 240 - 245
- [16] Axiomatic Hardware-Software Contracts for Security PROCEEDINGS OF THE 2022 THE 49TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA '22), 2022, : 72 - 86
- [17] Current flattening in software and hardware for security applications INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2004, : 218 - 223
- [18] Integrating Security and Privacy in Quantum Software Engineering PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, 2024, : 538 - 547
- [19] Security and Privacy of Protocols and Software with Formal Methods LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 883 - 892