Automated Assessment of Secure Search Systems. - Mayank Varia; Benjamin Price; Nicholas Hwang; Ariel Hamlin; Jonathan Herzog; Jill Poland; Michael Reschly; Sophia Yakoubov; Robert K. Cunningham (ACM SIGOPS Oper. Syst. Rev., 2015)