Security
The Security theme encompasses cybersecurity, protocol analysis, systems security, trusted computing, human-centred security, and networking.
The Security theme encompasses cybersecurity, protocol analysis, systems security, trusted computing, human-centred security, and networking.
Iris: Dynamic Privacy Preserving Search in Authenticated Chord Peer−to−Peer Networks
Read more about Iris: Dynamic Privacy Preserving Search in Authenticated Chord Peer−to−Peer Networks
DeepSec: Deciding Equivalence Properties for Security Protocols − Improved theory and practice
