Skip to content
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Advanced
  • The K2 Architecture for Trustw...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
The K2 Architecture for Trustworthy Hardware Security Modules

The K2 Architecture for Trustworthy Hardware Security Modules

Bibliographic Details
Main Authors: Athalye, Anish, Kaashoek, Frans, Zeldovich, Nickolai, Tassarotti, Joseph
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: ACM|Workshop on Kernel Isolation, Safety and Verification 2023
Online Access:https://hdl.handle.net/1721.1/152918
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Description not available.

Similar Items

  • Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
    by: Athalye, Anish, et al.
    Published: (2024)
  • Notary: a device for secure transaction approval
    by: Athalye, Anish, et al.
    Published: (2020)
  • Verifying concurrent, crash-safe systems with Perennial
    by: Chajed, Tej, et al.
    Published: (2021)
  • Argosy: verifying layered storage systems with recovery refinement
    by: Chajed, Tej, et al.
    Published: (2021)
  • Grove: a Separation-Logic Library for Verifying Distributed Systems
    by: Sharma, Upamanyu, et al.
    Published: (2023)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs