Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings - Garcia-Alfaro, Joaquin; Navarro-Arribas, Guillermo; Hartenstein, Hannes; Herrera-Joancomartí, Jordi; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
A Proof Calculus for Attack Trees in Isabelle -- Confidentiality of Interactions in Concurrent Object-Oriented Systems -- Using Oblivious RAM in Genomic Studies -- Towards Efficient and Secure Encrypted Databases: Extending -- Message-Locked Encryption in Three-Party Model -- Searchable Encrypted Relational Databases: Risks and Countermeasures -- Private verification of access on medical data: an initial study -- Default Privacy Setting Prediction by Grouping User's Attributes and Settings Preferences -- Bounding Privacy Leaks in Privacy Preserving Data Mining -- Threshold Single Password Authentication -- Towards A Toolkit for Utility and Privacy-Preserving Transformation of Semi-structured Data Using Data Pseudonymization -- Enforcement of External Anonymization -- DLoc: Distributed Auditing for Data Location Compliance in Cloud -- Inonymous: Anonymous Invitation-Based System -- Order-Preserving Encryption Using Approximate Integer Common Divisors -- Privacy-Preserving Deterministic Automata Evaluation with Encrypted Data Blocks -- Securing Proof-of-Stake Blockchain Protocols -- Merged Mining: Curse or Cure? -- Atomically Trading with Roger: Gambling on the success of a hardfork -- Smart Contracts and Blockchain Identity -- In Code We Trust? Measuring the Control Flow Immutability of All -- Smart Contracts Deployed on Ethereum -- Who Am I? Secure Identity Registration on Distributed Ledgers -- User-centric System for Verified Identities on the Bitcoin Blockchain -- Towards a Concurrent and Distributed Route Selection for Payment Channel Networks -- Graphene: A New Protocol for Block Propagation Using Set Reconciliation -- Revisiting Difficulty Control for Blockchain Systems -- Secure Event Tickets on a Blockchain.
Keywords: Computer security; Management information systems; Computer science; Data encryption (Computer science).; Application software; Algorithms; Systems and Data Security; Management of Computing and Information Systems; Cryptology; Information Systems Applications (incl. Internet).; Algorithm Analysis and Problem Complexity