Secure Mobile Application Development and Cryptography
Welcome to this course !!!
This course is taught in English. It is delivered in five chapters. The lectures material, tutorial sheets and lab sheets are written in English, however the explanations, discussions and student questions during the sessions are possible in three languages: Arabic, English and French.
The lab session is devoted to learning how to develop applications under Android.
As it's known, during the semester, the students are called to accomplish certain number of online quizzes. The obtained grades will be included in the final mark of this course. Of course, the online quizzes and final term exams are also written in English.
Spécification formelle
Formal methods are a set of techniques based on mathematics and logic to specify, develop, and verify computer systems. They make it possible to guarantee the consistency, correctness, and security of software, particularly in critical systems (networks, real-time, embedded).