04039 am 22008293u 450 991033756400332120230125203353.03-030-17138-810.1007/978-3-030-17138-4(CKB)4100000007823590(DE-He213)978-3-030-17138-4(MiAaPQ)EBC5922766(Au-PeEL)EBL5922766(OCoLC)1132418762(oapen)https://directory.doabooks.org/handle/20.500.12854/39604(PPN)235668427(EXLCZ)99410000000782359020190402d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierPrinciples of Security and Trust[electronic resource] 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 /edited by Flemming Nielson, David Sands1st ed. 2019.Springer Nature2019Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) Security and Cryptology ;114263-030-17137-X 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.This book is Open Access under a CC BY licence.Security and Cryptology ;11426Computer securitySoftware engineeringArtificial intelligenceComputer system failuresComputersSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Computing Milieuxhttps://scigraph.springernature.com/ontologies/product-market-codes/I24008Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Computer scienceComputer securitySoftware engineeringArtificial intelligenceComputer system failuresComputersComputer security.Software engineering.Artificial intelligence.Computer system failures.Computers.Systems and Data Security.Software Engineering/Programming and Operating Systems.Artificial Intelligence.System Performance and Evaluation.Computing Milieux.Theory of Computation.005.8Nielson Flemmingedt714740Nielson Flemmingedthttp://id.loc.gov/vocabulary/relators/edtSands Davidedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337564003321Principles of Security and Trust3358691UNINA