Author: Justin

Abstract: To what extent should one trust a statement that a program is free of Trojan horses?…

In this paper, we present Google, a prototype of a large-scale search engine that makes heavy use…

Implementing systems in test wizards like Coq and demonstrating their accuracy with all the formal details has…