Secure function evaluation with ordered binary decision diagrams.

Louis Kruger Somesh Jha Eu-Jin Goh Dan Boneh

Published in: CCS (2006)

Keyphrases

ordered binary decision diagrams
quantified boolean formulae