Skip to search formSkip to main contentSkip to account menu

Provable security

Known as: Provable, Provably secure, Security proof 
Provable security refers to any type or level of security that can be proved. It is used in different ways by different fields. Usually, this refers… 
Wikipedia (opens in a new tab)

Related topics

Related topics

36 relations
Adversary (cryptography)Anti-tamper softwareAntivirus softwareBB84

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
One-to-many authentication for access control in mobile pay-TV systems
In traditional authentication schemes for access control in mobile pay-TV systems, one-to-one delivery is used, i.e., one… 
Highly Cited
2012
Highly Cited
2012
Minimum-energy connected coverage in wireless sensor networks with omni-directional and directional features
Wireless Sensor Networks (WSNs) have acquired new features recently, i.e., both the sensor and the antenna of a node can be… 
2012
2012
Integrity Verification of Multiple Data Copies over Untrusted Cloud Servers
For an increased level of scalability, availability and durability, some customers may want their data to be replicated on… 
Highly Cited
2012
Highly Cited
2012
Enclosures for the solution set of parametric interval linear systems
Abstract We investigate parametric interval linear systems of equations. The main result is a generalization of the Bauer–Skeel… 
Highly Cited
2010
Highly Cited
2010
Distributed Algorithms for Approximating Wireless Network Capacity
  • M. Dinitz
  • Proceedings IEEE INFOCOM
  • 2010
  • Corpus ID: 11366805
In this paper we consider the problem of maximizing wireless network capacity (a.k.a. one-shot scheduling) in both the protocol… 
Highly Cited
2009
Highly Cited
2009
On the (In)Security and (Im)Practicality of Outsourcing Precise Association Rule Mining
The recent interest in outsourcing IT services onto the cloud raises two main concerns: security and cost. One task that could be… 
Highly Cited
2009
Highly Cited
2009
Sum-Rate Maximization for Two-Way MIMO Amplify-and-Forward Relaying Systems
This paper considers two-way relaying systems with a multiple-input multiple-output (MIMO) relay between two MIMO terminal nodes… 
2005
2005
How to Get 3-D for the Price of 2-D—Topology and Consistency of 3-D Urban GIS
This article deals with topological concepts and models which are necessary to represent three-dimensional urban objects in a… 
Highly Cited
2004
Highly Cited
2004
On unequal error protection LDPC codes based on Plotkin-type constructions
A family of unequal error-protection (UEP) low-density parity-check (LDPC) codes, based on Plotkin-type constructions, is… 
1994
1994
Provable strategies for vision-guided exploration in three dimensions
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)