Abstract
The purpose of this paper is to initiate the study of a combinatorial abstraction, called abstract storage device (ASD), which models deterministic storage devices with the property that only partial information about the state can be read, but that there is a degree of freedom as to which partial information should be retrieved.
We study combinatorial problems related to ASD’s, including reducibility among ASD’s, which is proved to be \(\mathcal{NP}\)-complete, and the factorization of ASD’s. In particular, we prove that the factorization into binary-output ASD’s (if it exists) is unique.
This research was partially supported by the Swiss National Science Foundation (SNF), project no. 200020-113700/1.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boppana, R.B., Håstad, J., Zachos, S.: Does co-NP have short interactive proofs? Inf. Process. Lett. 25(2), 127–132 (1987)
Goldwasser, S., Sipser, M.: Private coins versus public coins in interactive proof systems. In: STOC 1986, pp. 59–68 (1986)
Grätzer, G.: General Lattice Theory. Birkhäuser, Basel (1998)
Imrich, W., Klavžar, S.: Product Graphs: Structure and Recognition. Wiley, Chichester (2000)
Jónsson, B.: The unique factorization problem for finite relational structures. Colloq. Math. 14, 1–32 (1966)
König, R., Maurer, U., Renner, R.: On the power of quantum memory. IEEE Transactions on Information Theory 51(7), 2391–2401 (2005)
König, R., Maurer, U., Tessaro, S.: Abstract storage devices (June 2007), http://www.arxiv.org/abs/0706.2746
Köpf, B., Basin, D.: An information-theoretic model for adaptive side-channel attacks. In: ACM CCS 2007, pp. 286–296 (2007)
Rabin, M.O.: How to exchange secrets with oblivious transfer. Technical Memo TR-81, Aiken Computation Laboratory, Harvard University (1981)
Shannon, C.E.: The zero-error capacity of a noisy channel. IEEE Transactions on Information Theory 2, 8–19 (1956)
Tessaro, S.: An abstract model for storage devices, Master Thesis, ETH Zurich (September 2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
König, R., Maurer, U., Tessaro, S. (2009). Abstract Storage Devices. In: Nielsen, M., Kučera, A., Miltersen, P.B., Palamidessi, C., Tůma, P., Valencia, F. (eds) SOFSEM 2009: Theory and Practice of Computer Science. SOFSEM 2009. Lecture Notes in Computer Science, vol 5404. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-95891-8_32
Download citation
DOI: https://doi.org/10.1007/978-3-540-95891-8_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-95890-1
Online ISBN: 978-3-540-95891-8
eBook Packages: Computer ScienceComputer Science (R0)