Publications
Filters: Author is Jerry den Hartog [Clear All Filters]
, “Introducing Probabilities in Controller Strategies”, 3rd International Workshop on Quantitative Aspects in Security Assurance, vol. LNCS. 2014.
, “TRIPLEX: Verifying Data Minimisation in Communication Systems”, in CCS, 2013.
, “TRIPLEX: verifying data minimisation in communication systems”, in ACM Conference on Computer and Communications Security , 2013.
