Latest YouTube Video

Monday, November 20, 2017

Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System

Fortunately, formal analysis has shown its power to prove the complex se- curity definitions although the formal analysis of anonymous credentials is rel- atively limited (almost for DAA). Arapinis et al. [5] presented a framework for analyzing the unlinkability and anonymity in the applied pi calculus.

from Google Alert - anonymous http://ift.tt/2jHSbCO
via IFTTT

No comments: