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.
DeepSec: Deciding Equivalence Properties for Security Protocols − Improved theory and practice
Automatic verification of transparency protocols
Read more about Automatic verification of transparency protocols
