Static Analysis, Control Flow, Data Flow, Program Verification
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·1d
Loading...Loading more...
Static Analysis, Control Flow, Data Flow, Program Verification