I found the easiest way to encrypt files on an Android phone - and it's free to do

If you need to encrypt a file on your Android device so it can be safely shared with other users, this handy app gets the job ...
IEEE

Research on Intelligent Verification Technology of Bus Protection SCD File in Intelligent Substation Reconstruction and Expansion Project Based on Convolutional Neural Network

Abstract: Aiming at the problem of wrong modification of bus protection SCD file during the implementation of intelligent substation reconstruction and expansion project, an intelligent verification ...
IEEE

Formal Verification of a Crash-Safe File System Based on Non-Persistent Conditions Extended Concurrent Separation Logic

Abstract: In an operating system, the file system manages data and provides security guarantees. The features of delayed write and crash safety increase the complexity of a concurrent file system, ...