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
Automatic verification of Finite Variant Property beyond convergent equational theories
