Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / [electronic resource] : / edited by Flemming Nielson, David Sands.. — 1st ed. 2019.. — XI, 249 p. 2896 illus., 22 illus. in color. : online resource. — (Security and Cryptology,) 11426 2946-1863 ;. - Security and Cryptology, 11426 .
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.
Open Access
Анотація: This book is Open Access under a CC BY licence.
9783030171384
10.1007/978-3-030-17138-4 doi
Data protection. Software engineering. Artificial intelligence. Electronic digital computers--Evaluation. Computers. Computer science. Data and Information Security. Software Engineering. Artificial Intelligence. System Performance and Evaluation. Computing Milieux. Theory of Computation.