logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jim Alves-Foss

university of idaho

21H指数
148论文数
1.6K被引数
收录论文 7
发表时间
logo
From RISC to Risk: Exception Handling as a Gateway to Exploitation从RISC到风险：异常处理作为利用的入口
errComputers
IF4.2
err2026-07-17
err0
errOAAI
errMina Soltani Siapoush; Jim Alves-Foss
err分享
err收藏
Zero-Copy Messaging: Low-Latency Inter-Task Communication in CHERI-Enabled RTOS零拷贝消息传递：CHERI-使能实时操作系统中的低延迟任务间通信
errFuture Internet 2025, Vol. 17, Page 506
IF3.6
err2025-11-04
err0
errOAAI
errMina Soltani Siapoush; Jim Alves-Foss
err分享
err收藏
Exception-Driven Security: A Risk-Aware Permission Adjustment for High-Availability Embedded Systems异常驱动安全：一种高可用性嵌入式系统的高风险感知权限调整
errMATHEMATICS
IF2.2
err2025-10-16
err0
errOAAI
errSoltani Siapoush, Mina; Alves-Foss, Jim
err分享
err收藏
Real-Time Operating Systems' Compliance With MISRA-C Coding Standard: A Comprehensive Study
errIEEE ACCESS
IF3.6
err2024-01-01
err0
errOAAI
errSong, Jia; Shigdel, Ronisha; Pokharel, Aditi; Alves-Foss, Jim
err分享
err收藏
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?
errIEEE ACCESS
IF3.6
err2023-01-01
err0
errOAAI
errSiapoush, Mina Soltani; Alves-Foss, Jim
err分享
err收藏
A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber InfrastructureHESTIA的正式模型和验证: 网络基础设施的自动化，对手意识风险评估过程
errIEEE ACCESS
IF3.6
err2022-01-01
err0
errOAAI
errJillepalli, Ananth A.; De Leon, Daniel Conte; Alves-Foss, Jim; Jeffery, Clinton L.; Sheldon, Frederick T.
err分享
err收藏
A formal framework for real-time information flow analysis
errCOMPUTERS & SECURITY
IF5.4
err2009-09-01
err6
PREAI
errSon, Joon; Alves-Foss, Jim
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Frederick T. Sheldon
H 指数: 26 · 论文数: 232
D
Daniel Conte de Leon
H 指数: 12 · 论文数: 55
A
Ananth A. Jillepalli
H 指数: 10 · 论文数: 32
C
Clinton Jeffery
H 指数: 9 · 论文数: 106
J
Joon Son
H 指数: 5 · 论文数: 23
查看更多