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

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030171377, 9783030171384
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2019 ◽  
pp. 99-122 ◽  
Author(s):  
Aseem Rastogi ◽  
Nikhil Swamy ◽  
Michael Hicks

scholarly journals Generalised Differential Privacy for Text Document Processing

2019 ◽  
pp. 123-148 ◽  
Author(s):  
Natasha Fernandes ◽  
Mark Dras ◽  
Annabelle McIver
Keyword(s):  
Differential Privacy ◽  
Document Processing ◽  
Text Document

scholarly journals A Formal Analysis of Timing Channel Security via Bucketing

2019 ◽  
pp. 29-50 ◽  
Author(s):  
Tachio Terauchi ◽  
Timos Antonopoulos
Keyword(s):  
Formal Analysis ◽  
Timing Channel

scholarly journals Orchestrating Layered Attestations

2019 ◽  
pp. 197-221
Author(s):  
John D. Ramsdell ◽  
Paul D. Rowe ◽  
Perry Alexander ◽  
Sarah C. Helble ◽  
Peter Loscocco ◽  
...  

scholarly journals Foundations for Parallel Information Flow Control Runtime Systems

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

scholarly journals Achieving Safety Incrementally with Checked C

2019 ◽  
pp. 76-98
Author(s):  
Andrew Ruef ◽  
Leonidas Lampropoulos ◽  
Ian Sweet ◽  
David Tarditi ◽  
Michael Hicks

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

2019 ◽  
pp. 175-196 ◽  
Author(s):  
David Butler ◽  
David Aspinall ◽  
Adrià Gascón
Keyword(s):  
Commitment Schemes

scholarly journals Symbolic Verification of Distance Bounding Protocols

2019 ◽  
pp. 149-174 ◽  
Author(s):  
Alexandre Debant ◽  
Stéphanie Delaune
Keyword(s):  
Symbolic Verification

scholarly journals Verifying Liquidity of Bitcoin Contracts

2019 ◽  
pp. 222-247 ◽  
Author(s):  
Massimo Bartoletti ◽  
Roberto Zunino

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document