Towards Provably Secure Efficiently Searchable Encryption

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Unknown venue

• Publication date

  2012-02-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.3990/1.9789036533331
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Assessing and improving the quality of model transformations

  2012cited by this paper
• Probability and Hiding in Concurrent Processes ( thesis abstract )

  2011cited by this paper
• Capturing and exploiting abstract views of states in OO verification

  2011cited by this paper
• From computability to executability : a process-theoretic view on automata theory

  2011cited by this paper
• Building Blocks for Language Workbenches

  2011cited by this paper
• An executable theory of multi-agent systems refinement

  2011cited by this paper
• Privacy Enhanced Access Control by Means of Policy Blinding

  2011cited by this paper
• An illumination of the template enigma : software code generation with templates

  2011cited by this paper
• Reconfigurable Component Connectors

  2011cited by this paper
• Stochastic models for quality of service of component connectors

  2011cited by this paper
• Ambiguity Detection for Programming Language Grammars

  2011cited by this paper
• Configuration management for models : generic methods for model comparison and model co-evolution

  2011cited by this paper
• Gossiping Models : Formal Analysis of Epidemic Protocols

  2011cited by this paper
• Analysis of flow and visibility on triangulated terrains

  2011cited by this paper
• On changing models in model-based testing

  2011cited by this paper
• Formal modeling and verification of distributed failure detectors

  2011cited by this paper
• Event composition model: achieving naturalness in runtime enforcement

  2011cited by this paper
• Towards optimal IT availability planning: methods and tools

  2011cited by this paper
• Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems

  2011cited by this paper
• IT architecture-based confidentiality risk assessment in networks of organizations

  2011cited by this paper
• Modelling and analysis of real-time coordination patterns

  2011cited by this paper
• Synchronous Coordination of Distributed Components

  2011cited by this paper
• Formal models for component connectors

  2010cited by this paper
• New Techniques for Dual System Encryption and Fully Secure HIBE with Short Ciphertexts

  2010cited by this paper
• Focusing Automatic Code Inspections

  2010cited by this paper
• Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime-Order Groups

  2010cited by this paper
• Computationally Efficient Searchable Symmetric Encryption

  2010cited by this paper
• Abstraction, prices and probability in model checking timed automata

  2010cited by this paper
• Fully Secure Anonymous HIBE and Secret-Key Anonymous IBE with Short Ciphertexts

  2010cited by this paper
• Searching Keywords with Wildcards on Encrypted Data

  2010cited by this paper
• The effects of UML modeling on the quality of software

  2010cited by this paper
• Graph-based Specification and Verification for Aspect-Oriented Languages

  2010cited by this paper
• Fully Secure Functional Encryption: Attribute-Based Encryption and (Hierarchical) Inner Product Encryption

  2010cited by this paper
• Fully Secure Functional Encryption with General Relations from the Decisional Linear Assumption

  2010cited by this paper
• Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services

  2010cited by this paper
• Model checking nondeterministic and randomly timed systems

  2010cited by this paper
• Service-oriented discovery of knowledge : foundations, implementations and applications

  2010cited by this paper
• Flexible Access Control for Dynamic Collaborative Environments

  2009cited by this paper
• Private-Key Hidden Vector Encryption with Key Confidentiality

  2009cited by this paper
• Reasoning about functional programs : Sparkle, a proof assistant for Clean

  2009cited by this paper
• Evaluating Dynamic Analysis Techniques for Program Comprehension

  2009cited by this paper
• Strategies for Context Sensitive Program Transformation

  2009cited by this paper
• Clocks, Dice and Processes

  2009cited by this paper
• Improved verification methods for concurrent systems

  2009cited by this paper
• Predicate Privacy in Encryption Systems

  2009cited by this paper
• Multiuser private queries over encrypted databases

  2009cited by this paper
• Algorithmic tools for data-oriented law enforcement

  2009cited by this paper
• The Computational Complexity of Probabilistic Networks

  2009cited by this paper
• Analysis and Testing of Ajax-based Single-page Web Applications

  2009cited by this paper
• Dual System Encryption: Realizing Fully Secure IBE and HIBE under Simple Assumptions

  2009cited by this paper
• Coalgebraic Modelling : Applications in Automata theory and Modal logic

  2009cited by this paper
• MEMS-Based Storage Devices : Integration in Energy-Constrained Mobile Systems

  2009cited by this paper
• Diagnosis, Synthesis and Analysis of Probabilistic Models

  2009cited by this paper
• Architecting Fault-Tolerant Software Systems

  2009cited by this paper
• Faculty of Mathematics and Computer Science

  2009cited by this paper
• Security matters : privacy in voting and fairness in digital exchange

  2009cited by this paper
• Towards Getting Generic Programming Ready for Prime Time

  2009cited by this paper
• Modeling and validating distributed embedded real-time control systems

  2009cited by this paper
• Revisiting Anomaly-based Network Intrusion Detection Systems

  2009cited by this paper
• TuLiP : reshaping trust management

  2009cited by this paper
• Blind and Anonymous Identity-Based Encryption and Authorised Private Searches on Public Key Encrypted Data

  2009cited by this paper
• Reasoning about Java programs in PVS using JML

  2009cited by this paper
• Design and performance analysis of data-independent stream processing systems

  2008cited by this paper
• La volonté machinale: understanding the electronic voting controversy

  2008cited by this paper
• Logical Calculi for Reasoning with Binding

  2008cited by this paper
• Mining semi-structured data, theoretical and experimental aspects of pattern evaluation

  2008cited by this paper
• Formal and Computational Cryptography: Protocols, Hashes and Commitments

  2008cited by this paper
• Delegating Capabilities in Predicate Encryption Systems

  2008cited by this paper
• Process algebras for hybrid systems : comparison and development

  2008cited by this paper
• Tree Algorithms: Two Taxonomies and a Toolkit

  2008cited by this paper
• Integration and test strategies for complex manufacturing machines

  2008cited by this paper
• Scalable block processing algorithms

  2008cited by this paper
• An Integrated System to Manage Crosscutting Concerns in Source Code

  2008cited by this paper
• Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols

  2008cited by this paper
• Real and stochastic time in process algebras for performance evaluation

  2008cited by this paper
• Evolvable Behavior Specifications Using Context-Sensitive Wildcards

  2008cited by this paper
• Wireless Sensor Networks in Motion - Clustering Algorithms for Service Discovery and Provisioning

  2008cited by this paper
• Testing reactive systems with data: enumerative methods and constraint solving

  2008cited by this paper
• Drawing graphs for cartographic applications

  2008cited by this paper
• Model checking Markov chains : techniques and tools

  2008cited by this paper
• Resource-based Verification for Robust Composition of Aspects

  2008cited by this paper
• Attribute-Based Encryption with Partially Hidden Encryptor-Specified Access Structures

  2008cited by this paper
• Hidden-Vector Encryption with Groups of Prime Order

  2008cited by this paper
• Formal methods in support of SMC design

  2008cited by this paper
• Model-based integration and testing of high-tech multi-disciplinary systems

  2008cited by this paper
• Models of natural computation: gene assembly and membrane systems

  2008cited by this paper
• Tracing Anonymity with Coalgebras

  2008cited by this paper
• Graph-based software specification and verification

  2008cited by this paper
• Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products

  2008cited by this paper
• A theoretical and experimental study of geometric networks

  2008cited by this paper
• Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems

  2007cited by this paper
• Model Checking of Component Connectors

  2007cited by this paper
• Conjunctive, Subset, and Range Queries on Encrypted Data

  2007cited by this paper
• Natural Deduction, Sharing By Presentation

  2007cited by this paper
• Flexible heterogeneous software systems

  2007cited by this paper
• Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition

  2007cited by this paper
• Generalized Key Delegation for Hierarchical Identity-Based Encryption

  2007cited by this paper
• Optimal Geometric Data Structures

  2007cited by this paper
• New data structures and algorithms for mobile data

  2007cited by this paper
• What to do next? Analysing and optimising system behaviour in time

  2007cited by this paper

• RETRACTED ARTICLE: A novel privacy preserving digital forensic readiness provable data possession technique for health care data in cloud

  2020cites this paper
• Secure Privacy Conserving Provable Data Possession (SPC-PDP) framework

  2019cites this paper
• Radboud Repository of the Radboud University Nijmegen

  2017cites this paper
• Resilient in-network aggregation for vehicular networks

  2015cites this paper
• DNA expressions - A formal notation for DNA

  2015cites this paper
• Robust SOS Specifications of Probabilistic Processes

  2015cites this paper
• Supervisory control in health care systems

  2015cites this paper
• On the Incremental Evaluation of Higher-Order Attribute Grammars

  2015cites this paper
• On the design of an architecture framework and quality evaluation for automotive software systems

  2015cites this paper
• Software analysis methods for resource-sensitive systems

  2015cites this paper
• The (in)security of proprietary cryptography

  2015cites this paper
• Applications of Evolutionary Computation to Cryptology ; Primjene evolucijskog računarstva u kriptologiji

  2015cites this paper
• Web Service Growing Pains: Understanding Services and Their Clients

  2015cites this paper
• Getting the point : obtaining and understanding fixpoints in model checking

  2015cites this paper
• Lessons learned in the analysis of the EMV and TLS security protocols

  2015cites this paper
• Similarity measures and algorithms for cartographic schematization

  2014cites this paper
• Scalable multi-core model checking

  2014cites this paper
• JTorX: exploring model-based testing

  2014cites this paper
• Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs

  2014cites this paper
• Performance Optimization of Multi-Tenant Software Systems

  2014cites this paper
• Efficient implementations of attribute-based credentials on smart cards

  2014cites this paper
• The process matters: cyber security in industrial control systems

  2014cites this paper
• Coalgebraic Characterizations of Automata-Theoretic Classes

  2014cites this paper
• Domain specific languages and their type systems

  2014cites this paper
• Improving input-output conformance testing theories

  2014cites this paper
• Social aspects of collaboration in online software communities

  2014cites this paper
• Combining Monitoring with Run-Time Assertion Checking

  2014cites this paper
• Pushing and pulling : computing push plans for disk-shaped robots, and dynamic labelings for moving points

  2013cites this paper
• Efficient modelling, generation and analysis of Markov automata

  2013cites this paper
• Kinetic data structures in the black-box model

  2013cites this paper
• Advanced reduction techniques for model checking

  2013cites this paper
• State of The Art and Hot Aspects in Cloud Data Storage Security SICS technical report T2013:01

  2013cites this paper
• Applying formal methods in software development

  2013cites this paper
• Abstract Graph Transformation - Theory and Practice

  2013cites this paper
• Performance analysis of real-time task systems using timed automata

  2013cites this paper
• State of The Art and Hot Aspects in Cloud Data Storage Security SICS technical report T 2013 : 01

  2013cites this paper
• Outsmarting smart cards

  2013cites this paper
• Test Suite Comprehension for Modular and Dynamic Systems

  2013cites this paper
• Bridging formal models : an engineering perspective

  2012cites this paper
• Analysis of protein-protein interaction networks by means of annotated graph mining algorithms

  2012cites this paper
• A Compositional Interchange Format for Hybrid Systems: Design and Implementation

  2012cites this paper
• Formal development of control software in the medical systems domain

  2012cites this paper
• Compositional Synthesis of Safety Controllers

  2012cites this paper
• From napkin sketches to reliable software

  2012cites this paper