Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitlePrinciples 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 Sands
ImprintCham : Springer International Publishing : Imprint: Springer, 2019
Edition 1st ed. 2019
Connect to
Descript XI, 249 p. 2896 illus., 22 illus. in color. online resource


This book is Open Access under a CC BY licence


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

Computer security Software engineering Artificial intelligence Computer system performance Computer science Information theory Systems and Data Security. Software Engineering/Programming and Operating Systems. Artificial Intelligence. System Performance and Evaluation. Computing Milieux. Theory of Computation.


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram