• An algebraic framework for reasoning about privacy 

      Rajaona, Solofomampionona Forunat (Stellenbosch : University of Stellenbosch, 2016-03)
      ENGLISH ABSTRACT: In this thesis, we study a formal programming language and algebraic tech-niques to analyse computational systems that considers data confidentiality and hidden computations. The reasoning techniques are ...