验证码:

换一张

忘记密码？记住我

取消登录

统一认证登录

取消

中文版 | English

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

ShanghaiTech University Knowledge Management System

统一认证登录登录注册

图片搜索

粘贴图片网址

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

在结果中检索

研究单元&专题

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

免疫化学研究所 [1]

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

生命科学与技术学院 [1]

大科学中心 [1]

作者

文献类型

期刊论文 [14]

会议论文 [12]

发表日期

出处

ACM TRANSA... [2]

DESIGNS CO... [2]

2021 IEEE ... [1]

2021 IEEE ... [1]

2022 3RD I... [1]

ASIA CCS 2... [1]

语种

资助项目

National K... [2]

AI Project... [1]

Anhui Prov... [1]

Beijing Na... [1]

CAS Projec... [1]

China Nati... [1]

资助机构

收录类别

EI [25]

SCI [8]

状态

正式接收 [1]

知识图谱

KMS

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

帮助

已选(0)清除条数/页：排序方式：
	Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration 会议论文 FPGA '25: PROCEEDINGS OF THE 2025 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD PROGRAMMABLE GATE ARRAYS, Monterey, CA, United states, February 27, 2025 - March 1, 2025 作者: Xu, Shuoxiang; Jiang, Zijian; Zhang, Yuxin; Boland, David; Bao, Yungang Adobe PDF(3607Kb) \| 收藏 \| 浏览/下载：76/2 \| 提交时间：2025/03/04 FPGA, Verification, High-Level Synthesis
	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) \| 收藏 \| 浏览/下载：345/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
	Large Band Splitting in g -Wave Altermagnet CrSb 期刊论文 PHYSICAL REVIEW LETTERS, 2024, 卷号: 133, 期号: 20 作者: Ding, Jianyang; Jiang, Zhicheng Adobe PDF(7064Kb) \| 收藏 \| 浏览/下载：292/43 \| 提交时间：2024/12/13 Antiferromagnetic materials Ferromagnetic materials Ferromagnetism Liquid crystals Manganites Neel temperature Photoacoustic spectroscopy Photoelectron spectroscopy Seismic waves Semiconducting manganese compounds Single crystals Spintronics Band splitting Density-functional theory calculations Experimental verification High-resolution angle-resolved photoemission spectroscopies Large band Large spin Magnetic state Property Research focus Spin splittings
	Qualitative and Quantitative Model Checking Against Recurrent Neural Networks 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2024, 卷号: 39, 期号: 6, 页码: 1292-1311 作者: Liang, Zhen; Liu, Wan-Wei; Song, Fu; Xue, Bai; Yang, Wen-Jing Adobe PDF(1224Kb) \| 收藏 \| 浏览/下载：102/1 \| 提交时间：2025/02/12 recurrent neural network model checking temporal logic qualitative/quantitative verification
	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; Song, Fu; Chen, Taolue; Wu, Zhilin Adobe PDF(1591Kb) \| 收藏 \| 浏览/下载：200/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
	Verifying Declarative Smart Contracts 会议论文 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, Lisbon, Portugal, 2024-4-14 - 2024-4-19 作者: Chen, Haoxian; Lu, Lan; Massey, Brendan; Wang, Yuepeng; Loo, Boon Thau Adobe PDF(1059Kb) \| 收藏 \| 浏览/下载：353/1 \| 提交时间：2024/04/09 smart contracts, formal verification
	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 Adobe PDF(1427Kb) \| 收藏 \| 浏览/下载：201/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
	Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks 期刊论文 PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2023, 卷号: 7, 期号: OOPSLA2 作者: Gao, Pengfei; Zhang, Yedi; Song, Fu; Chen, Taolue; Standaert, Francois-Xavier Adobe PDF(415Kb) \| 收藏 \| 浏览/下载：239/0 \| 提交时间：2023/11/24 Side channel attack Compositional reasoning Compositional verification Countermeasure Cryptographic algorithms Cryptographic implementation Efficient implementation Masking countermeasure Power Power side-channel attack Side-channel attacks
	Timing verification of rapid single flux quantum logic cell 期刊论文 PHYSICA C: SUPERCONDUCTIVITY AND ITS APPLICATIONS, 2023, 卷号: 610 作者: Weng, Bicong; Gao, Xiaoping; Ren, Jie; Li, Xiuting; Niu, Minghui Adobe PDF(5709Kb) \| 收藏 \| 浏览/下载：298/0 \| 提交时间：2023/06/09 Cells Computer circuits Cytology Delay circuits Integrated circuit manufacture Josephson junction devices Oscillators (electronic) Quantum optics Reliability analysis Hold time Hold time test Process corner Set-up time Setup time test Single flux quantum logic Superconducting electronics Timing parameters Timing verification Verification method
	Coexistence of Weyl semimetal and Weyl nodal loop semimetal phases in a collinear antiferromagnet 期刊论文 PHYSICAL REVIEW B, 2023, 卷号: 107, 期号: 22 作者: Zhan, Jie; Li, Jiangxu; Shi, Wujun; Chen, Xing-Qiu; Sun, Yan Adobe PDF(4251Kb) \| 收藏 \| 浏览/下载：650/178 \| 提交时间：2023/07/11 Antiferromagnetic materials Antiferromagnetism Electronic structure Fermi level Magnetocrystalline anisotropy Ruthenium compounds Scanning tunneling microscopy Topology Transition metal oxides Antiferromagnetics Antiferromagnets Collinear antiferromagnets Experimental verification Ferromagnets Magnetic and electronic structures Noncollinear Quantum response Topological state Transition-metal oxides

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

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

条目量26822
全文量25685
访问量15995452
下载量1067018

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

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