Lecture Notes in Computer Science - Principles of Security and Trust
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 10)

H-INDEX

3

(FIVE YEARS 3)

Published By Springer International Publishing

9783030171377, 9783030171384

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Analysis of Timing Channel Security via Bucketing

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_2 ◽

2019 ◽

pp. 29-50 ◽

Author(s):

Tachio Terauchi ◽

Timos Antonopoulos

Keyword(s):

Formal Analysis ◽

Download Full-text

Generalised Differential Privacy for Text Document Processing

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_6 ◽

2019 ◽

pp. 123-148 ◽

Author(s):

Natasha Fernandes ◽

Mark Dras ◽

Annabelle McIver

Keyword(s):

Differential Privacy ◽

Document Processing ◽

Download Full-text

$$\textsc {Wys}^\star $$ : A DSL for Verified Secure Multi-party Computations

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_5 ◽

2019 ◽

pp. 99-122 ◽

Author(s):

Aseem Rastogi ◽

Nikhil Swamy ◽

Michael Hicks

Download Full-text

Orchestrating Layered Attestations

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_9 ◽

2019 ◽

pp. 197-221

Author(s):

John D. Ramsdell ◽

Paul D. Rowe ◽

Perry Alexander ◽

Sarah C. Helble ◽

Peter Loscocco ◽

...

Download Full-text

Foundations for Parallel Information Flow Control Runtime Systems

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_1 ◽

2019 ◽

pp. 1-28 ◽

Author(s):

Marco Vassena ◽

Gary Soeller ◽

Peter Amidon ◽

Matthew Chan ◽

John Renner ◽

...

Keyword(s):

Flow Control ◽

Information Flow ◽

Runtime Systems ◽

Information Flow Control

Download Full-text

Achieving Safety Incrementally with Checked C

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_4 ◽

2019 ◽

pp. 76-98

Author(s):

Andrew Ruef ◽

Leonidas Lampropoulos ◽

Ian Sweet ◽

David Tarditi ◽

Michael Hicks

Download Full-text

On the Formalisation of $$\varSigma $$ -Protocols and Commitment Schemes

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_8 ◽

2019 ◽

pp. 175-196 ◽

Author(s):

David Butler ◽

David Aspinall ◽

Adrià Gascón

Keyword(s):

Commitment Schemes

Download Full-text

Symbolic Verification of Distance Bounding Protocols

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_7 ◽

2019 ◽

pp. 149-174 ◽

Author(s):

Alexandre Debant ◽

Stéphanie Delaune

Keyword(s):

Symbolic Verification

Download Full-text

A Dependently Typed Library for Static Information-Flow Control in Idris

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_3 ◽

2019 ◽

pp. 51-75 ◽

Author(s):

Simon Gregersen ◽

Søren Eller Thomsen ◽

Aslan Askarov

Keyword(s):

Flow Control ◽

Information Flow ◽

Information Flow Control ◽

Static Information

Download Full-text

Verifying Liquidity of Bitcoin Contracts

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-030-17138-4_10 ◽

2019 ◽

pp. 222-247 ◽

Author(s):

Massimo Bartoletti ◽

Roberto Zunino

Download Full-text