消息 ×
	loading..

验证码:

换一张

忘记密码？记住我

取消登录

统一认证登录

取消

中文版 | English

上海科技大学知识管理系统

ShanghaiTech University Knowledge Management System

统一认证登录登录注册

图片搜索

粘贴图片网址

首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅

在结果中检索

研究单元&专题

信息科学与技术学院 [11]

物质科学与技术学院 [1]

作者

文献类型

会议论文 [7]

期刊论文 [5]

发表日期

出处

ACM INTERN... [1]

CONFERENCE... [1]

FORMAL MET... [1]

FPGA 2023 ... [1]

IACR TRANS... [1]

IEEE INTER... [1]

语种

资助项目

CAS Projec... [1]

ISCAS Fund... [1]

ISCAS New ... [1]

National N... [1]

National N... [1]

Nature Sci... [1]

资助机构

收录类别

EI [12]

SCI [1]

北大核心 [1]

知识图谱

KMS

浏览/检索结果: 共12条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	Dep-TEE: Decoupled Memory Protection for Secure and Scalable Inter-enclave Communication on RISC-V 会议论文 PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC, Miraikan 7F, Tokyo, Japan, January 20, 2025 - January 23, 2025 作者: Pan, Shangjie; Peng, Xuanyao; Man, Zeyuan; Zhao, Xiquan; Zhang, Dongrong 收藏 \| 浏览/下载：9/0 \| 提交时间：2025/04/11 Computer software selection and evaluation Digital storage Memory architecture Privacy by design Secure communication Software prototyping ARM TrustZone Environment systems Memory isolation Memory protection Page table Performance and scalabilities Security and privacy Security performance Sensitive application Trusted execution environments
	Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks 会议论文 FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024 作者: Tan, Huiyu; Yang, Xi; Song, Fu; Chen, Taolue; Wu, Zhilin Adobe PDF(595Kb) \| 收藏 \| 浏览/下载：331/1 \| 提交时间：2024/10/11 Benchmarking Boolean functions Open source software Compositional verification Cryptographic algorithms CryptoGraphics Design and implementations Error prones Fault injection attacks Hardware implementations Open source tools Physical attacks Sub-circuits
	SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗ 期刊论文 IACR TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, 2024, 卷号: 2024, 期号: 4, 页码: 1-39 作者: Tan, Huiyu; Gao, Pengfei Adobe PDF(1591Kb) \| 收藏 \| 浏览/下载：187/1 \| 提交时间：2024/10/11 Benchmarking Network security Open source software Systems analysis Cryptographic circuit CryptoGraphics Design and implementations Error prones Fault injection Fault injection attacks Fault resistances Physical attacks Satisfiability Verification problems
	Design of SystemVerilog Assertions Hardware Towards Efficient Processor Functional Verification 期刊论文 JISUANJI YANJIU YU FAZHAN/COMPUTER RESEARCH AND DEVELOPMENT, 2024, 卷号: 61, 期号: 6, 页码: 1436-1449 作者: Zhang, Ziqing; Shi, Kan; Xu, Shuoxiang; Wang, Lianghui; Bao, Yungang Adobe PDF(1427Kb) \| 收藏 \| 浏览/下载：181/0 \| 提交时间：2024/08/09 Computer software Efficiency Integrated circuit design Program debugging Verification Assertion Fine grained Functional verification Hardware simulation Processor verification Prototyping Software simulation SystemVerilog SystemVerilog assertions Verification process
	RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: PP, 期号: 99, 页码: 1-1 作者: Rui Li; Lin Li; Heng Yu; Masahiro Fujita; Weixiong Jiang Adobe PDF(6854Kb) \| 收藏 \| 浏览/下载：321/10 \| 提交时间：2024/08/26 Benchmarking Boolean functions Constraint satisfaction problems Integer programming Multiplying circuits Program debugging Reverse engineering Software design Trees (mathematics) Binary decision Binary decision diagram Computer algebra Decision diagram Logic Logic-optimized multiplier Optimisations Satisfiability Symbolic computer algebra
	Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: PP, 期号: 99, 页码: 1-28 作者: Zhou, Zhichao Adobe PDF(4372Kb) \| 收藏 \| 浏览/下载：411/66 \| 提交时间：2024/03/08 SBST software testing test generation Budget control Genetic algorithms Java programming language Software design Correlation Coverage criteria Java Optimisations Search-based software testing Software testings Test case Test generations Test pattern generator
	ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration 会议论文 FPGA 2023 - PROCEEDINGS OF THE 2023 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD PROGRAMMABLE GATE ARRAYS, Monterey, CA, United states, February 12, 2023 - February 14, 2023 作者: Shi, Kan; Xu, Shuoxiang; Diao, Yuhan; Boland, David; Bao, Yungang Adobe PDF(2773Kb) \| 收藏 \| 浏览/下载：363/1 \| 提交时间：2023/03/10 enchmarking Design for testability Integrated circuit design Program debugging Software testing Visibility Debugging Design under tests Development cycle Efficient architecture Emulation Fpgum Hardware development Reference modeling Software simulation Verification framework
	Motion-Powered Gameboy 会议论文 SENSYS 2022 - PROCEEDINGS OF THE 20TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, Boston, MA, United states, November 6, 2022 - November 9, 2022 作者: Zhu, Yue; Li, Xin; Liang, Junrui Adobe PDF(697Kb) \| 收藏 \| 浏览/下载：154/0 \| 提交时间：2023/03/10 Computer games Computer hardware Computer software Electric batteries Energy gap Game design Human computer interaction Internet of things Software design User interfaces Battery-free Battery-free IoT Computing functions Connectivity function Critical energy Hardware and software Motion energy Motion energy harvesting Power Sensing functions
	Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation 会议论文 ACM INTERNATIONAL CONFERENCE PROCEEDING SERIES, Rochester, MI, USA, October 10, 2022 - October 14, 2022 作者: Zhou, Zhichao; Zhou, Yuming; Fang, Chunrong; Chen, Zhenyu; Tang, Yutian Adobe PDF(1153Kb) \| 收藏 \| 浏览/下载：348/1 \| 提交时间：2023/03/10 Software design Software testing Coverage criteria Multiple coverages Optimisations Property Search-based Search-based software testing Software testings Test case Test generations Unit test generations
	Learning-Aided Stable Matching for Switch-Controller Association in SDN Systems 会议论文 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, Seoul, Korea, Republic of, May 16, 2022 - May 20, 2022 作者: Tang, Yinxu; Huang, Tao; Huang, Xi; Shao, Ziyu; Yang, Yang Adobe PDF(1877Kb) \| 收藏 \| 浏览/下载：267/0 \| 提交时间：2022/09/23 Learning systems Multi agent systems Communication control Communication cost Control traffic Essential problems Networking systems Scheme design Software-defined networkings Stable matching System Dynamics Traffic overhead

首页
上一页
1
2
下一页
末页

首页
研究单元产出分布图
收录类型分布图
论文引用排行
作者
文献类型
学科分类
使用帮助
联系我们

条目量26544
全文量25393
访问量15477246
下载量1024947

Copyright © 上海科技大学版权所有沪ICP备13001436号-1 沪公网安备 31011502006855号

地址邮编: 上海市浦东新区华夏中路393号
电话: 86-21-20685191