Leaf: Modularity for Temporary Sharing in Separation Logic
Abstract
References
Index Terms
- Leaf: Modularity for Temporary Sharing in Separation Logic
Recommendations
Polynomial differential‐based strong (n, t, n)‐verifiable secret sharing
Basic secret sharing schemes assume that the dealer who divides the secret and distributes shares to participants is a mutually trusted party. The basic idea of free dealer secret sharing (SS) is that each participants acts as a dealer to choose the ...
Scalable reader-writer locks
SPAA '09: Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architecturesWe present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers attempt to acquire the lock concurrently, even though they are all allowed ...
Consistency Analysis for Secure Reconstruction in Secret Image Sharing
MoMM 2015: Proceedings of the 13th International Conference on Advances in Mobile Computing and MultimediaSecret sharing is a scheme to distribute a secret message s into n participants, thus t or more participants can reconstruct the secret message s. While less than t shares can know nothing about the secret, the problem arises when there are more than t ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Badges
Author Tags
Qualifiers
- Research-article
Funding Sources
- NSF/VMware Partnership on Software Defined Infrastructure as a Foundation for Clean-Slate Computing Security (SDI-CSCS)
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 260Total Downloads
- Downloads (Last 12 months)260
- Downloads (Last 6 weeks)38
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in