Checking the correctness of memories
- 9 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Small-bias probability spaces: efficient constructions and applicationsPublished by Association for Computing Machinery (ACM) ,1990
- Efficient computation on oblivious RAMsPublished by Association for Computing Machinery (ACM) ,1990
- One-way functions are necessary and sufficient for secure signaturesPublished by Association for Computing Machinery (ACM) ,1990
- Coherent functions and program checkersPublished by Association for Computing Machinery (ACM) ,1990
- Designing programs that check their workPublished by Association for Computing Machinery (ACM) ,1989
- Universal one-way hash functions and their cryptographic applicationsPublished by Association for Computing Machinery (ACM) ,1989
- Towards a theory of software protection and simulation by oblivious RAMsPublished by Association for Computing Machinery (ACM) ,1987
- How to construct random functionsJournal of the ACM, 1986
- Relations Among Complexity MeasuresJournal of the ACM, 1979