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
Course Overview: Learning Objectives & Target Audience
Formal methods use mathematical techniques to specify, develop, and verify computer systems. They ensure consistency, correctness, and security in critical applications.
🎯 Learning Objectives
- Master Formal Specification
Learn to define precise system requirements using mathematical notations.
- Develop Verified Components
Create software with mathematical proofs of correctness.
- Analyze Formal Models
Identify and resolve issues in formal specifications before implementation.
👥 Target Audience
Advanced CS students and software engineers working on critical systems requiring high reliability and formal verification.
✓ Ideal for: Aerospace, Medical Devices, Financial Systems, Security-Critical Applications
Key Concepts: