An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.
-
Updated
Dec 4, 2021 - C#
An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.
Aplikasi internet banking sederhana yang mendemonstrasikan beberapa teknik kriptografi untuk mata kuliah Information Security and Assurance (1604B045) Teknik Infromatika Universitas Surabaya
Program kombinasi cipher mata kuliah Information Security and Assurance (1604B045) Teknik Infromatika Universitas Surabaya
Add a description, image, and links to the information-security-and-assurance topic page so that developers can more easily learn about it.
To associate your repository with the information-security-and-assurance topic, visit your repo's landing page and select "manage topics."