Formalizations of secrecy of encrypted databases against realistic attackers. - Kento Takahashi; Yasunori Ishihara (ISITA, 2016)