Murat Kantarcioglu <kanmurat(at)cs(dot)purdue(dot)edu> writes:
> This piece will be a part of a bigger design and the problems
> mentioned are very real. In the future, our goal is to design a database
> system where the processing is done in a "secure coprocessor"(i.e no one
> will be able to see what is inside) and
> the small code inside the co-processor is verified using formal methods.
[ raised eyebrow... ] You think a SQL database is small code you can
verify using formal methods? I don't really see how you can expect that
the decrypted data can be held entirely within a small secured area and
still get any useful work done.
regards, tom lane