咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 软件工程
    • 2 篇 电气工程
    • 2 篇 计算机科学与技术...

主题

  • 3 篇 api modeling
  • 2 篇 libraries
  • 2 篇 symbolic executi...
  • 1 篇 programming
  • 1 篇 timing
  • 1 篇 sgx
  • 1 篇 monitoring
  • 1 篇 static analysis
  • 1 篇 specification
  • 1 篇 side-channel att...
  • 1 篇 software side ch...
  • 1 篇 codes
  • 1 篇 information-flow...
  • 1 篇 bug finding
  • 1 篇 cryptography
  • 1 篇 javascript
  • 1 篇 event-driven pro...

机构

  • 1 篇 northeastern uni...
  • 1 篇 purdue univ comp...
  • 1 篇 univ florida ece...
  • 1 篇 github oxford ox...
  • 1 篇 univ florida ece...
  • 1 篇 univ florida com...
  • 1 篇 univ florida cis...
  • 1 篇 univ florida ele...

作者

  • 2 篇 yavuz tuba
  • 1 篇 (jing) tian dave
  • 1 篇 fowze farhaan
  • 1 篇 tip frank
  • 1 篇 schafer max
  • 1 篇 bai ken (yihang)
  • 1 篇 hernandez grant
  • 1 篇 butler kevin r. ...
  • 1 篇 (yihang) bai ken
  • 1 篇 arteca ellen

语言

  • 3 篇 英文
检索条件"主题词=API modeling"
3 条 记 录,以下是1-10 订阅
排序:
Analyzing system software components using api model guided symbolic execution
收藏 引用
AUTOMATED SOFTWARE ENGINEERING 2020年 第3-4期27卷 329-367页
作者: Yavuz, Tuba Bai, Ken (Yihang) Univ Florida ECE Dept Benton 321 Gainesville FL 32611 USA Univ Florida ECE Dept Larsen 234 Gainesville FL 32611 USA
Analyzing real-world software is challenging due to complexity of the software frameworks or apis they depend on. In this paper, we present a tool, PROMPT, that facilitates the analysis of software components usingapi... 详细信息
来源: 评论
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript apis
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2023年 第1期49卷 166-184页
作者: Arteca, Ellen Schafer, Max Tip, Frank Northeastern Univ Khoury Coll Comp Sci Boston MA 02115 USA GitHub Oxford OX1 4EH England
Event-driven programming is widely practiced in the JavaScript community, both on the client side to handle UI events and AJAX requests, and on the server side to accommodate long-running operations such as file or ne... 详细信息
来源: 评论
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic apis
收藏 引用
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2023年 第2期20卷 1577-1595页
作者: Yavuz, Tuba Fowze, Farhaan Hernandez, Grant (Yihang) Bai, Ken Butler, Kevin R. B. (Jing) Tian, Dave Univ Florida Elect & Comp Engn Gainesville FL 32611 USA Univ Florida CISE Dept Herbert Wertheim Coll Engn Gainesville FL 32611 USA Univ Florida Comp & Informat Sci & Engn Gainesville FL 32611 USA Purdue Univ Comp Sci Dept W Lafayette IN 47907 USA
Confidential computing aims to secure the code and data in use by providing a Trusted Execution Environment (TEE) for applications using hardware features such as Intel SGX. Timing and cache side-channel attacks, howe... 详细信息
来源: 评论