Differential Privacy by Typing in Security Protocols

Eigner, Fabienne and Maffei, Matteo
(2013) Differential Privacy by Typing in Security Protocols.
In: Proc. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot 2013).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item