Types and Access Controls for Cross-Domain Security in Flash
Abstract elided by the publisher.
Related papers
- Stack-based access control and secure information flow JFP 2005
- Securing Verified IO Programs Against Unverified Code in F POPL 2024
- A systematic approach to static access control TOPLAS 2005
- A Managed Memory System for Micro Controllers with NOR Flash Memory ISMM 2024
- Security-typed programming within dependently typed programming ICFP 2010
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data OOPSLA 2023
- OCTET: capturing and controlling cross-thread dependences efficiently OOPSLA 2013