Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
VeriCache: Formally Verified Fine-Grained Partitioned Cac... | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
VeriCache: Formally Verified Fine-Grained Partitioned Cache for Side-Channel-Secure Enclaves
0
Authors
Lingfeng Yin
4 more
Lingfeng Yin
•
Haixia Wang
2 more
•
Dongsheng Wang
Published
January 1, 2025
Paper
Conversation
0
Reviews
0
Bounties
0
Sign in to comment
Add a comment...
Best
Supporters
Support the authors with ResearchCoin
Tip RSC
Journal
IEEE Transactions on Dependable and Secure Computing
Topics
Computer Science
Artificial Intelligence
Electrical And Electronic Engineering
Parallel Computing
Cache
Show all topics
DOI
10.1109/tdsc.2025.3525628
