UID:
kobvindex_HPB1117483691
Umfang:
1 online resource
Ausgabe:
1st ed. 2019.
ISBN:
9783030171384
,
3030171388
Serie:
Security and Cryptology ; 11426
Inhalt:
This book is Open Access under a CC BY licence.
Anmerkung:
Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.
Weitere Ausg.:
Printed edition: ISBN 9783030171377
Weitere Ausg.:
Printed edition: ISBN 9783030171391
Sprache:
Englisch
Schlagwort(e):
Electronic books.
DOI:
10.1007/978-3-030-17138-4
URL:
Click here to view book
