Provable security: 5th international conference ; proceedings by ProvSec, Xi'an fromLecture Notes in Computer Science 0 Type: Book
Stabilization, safety, and security of distributed systems: 13th international symposium ; proceedings by SSS, Grenoble fromLecture Notes in Computer Science 0 Type: Book