Prototype of a language with static security checking features: protecting values with high confidentiality.
Used for a guest lecture at the 2023 edition of the Language-Based Software Security course.
Based on the corresponding Lecture Notes (version of April 24, 2023), chapters 5 and 6.