Nguyen Tra, My

We present a case study on the development of a formally verified PHP web social network application. With the expansion of social media and our presence in the cyber world, the privacy and security of our content online have...