Search results
From CERES
- ... [[media:stephanie_delaune_trends_2014.pdf|A Process Algebraic Analysis of Privacy-Type Properties in Cryptographic Protocols]] a prototype Google Chrome extension enforcing a strong and sound security policy6 KB (870 words) - 14:10, 27 May 2015