• Formal verification of secure framework for digital exams 

      Akboka Apengu, Benjamin Vincent F (Master thesis, 2017)
      The digital exam might come in the near future at the Norwegian University of Science and technology. As a replacement for tradition paper exam, digital exams will bring, along the old threats, some new challenges coming ...