期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：3A
页码：154-160
出版社：International Journal of Computer Science and Network Security
摘要：In this paper, we discuss whether or not it is possible to execute a program on an untrustworthy computer without revealing anything substantial. We simulate this task by developing a compiler that transforms a program p to an equivalent circuit format GC, which can be executed remotely on an untrustworthy computer by taking as argument encrypted input and producing encrypted output. The whole computation is totally hidden from the computer. The design of the compiler is detailed. With our compiler, polynomial-time programs can be efficiently converted to polynomial-size Boolean circuits.
关键词：Compiler design, private computation, Boolean circuit, information hiding.
