Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Der Band fasst die Vorträge der siebten ProvSec-Konferenz zusammen, beleuchtet neue kryptographische Protokolle, ihre formale Sicherheit und deren Einsatz in verteilten Systemen.