callback( { "result":{ "query":"SecChisel* Language* and* tool* for* practical* and* scalable* security* verification* of* security* aware* hardware* architectures*", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"1.03" }, "completions":{ "@total":"0", "@computed":"0", "@sent":"0" }, "hits":{ "@total":"0", "@computed":"0", "@sent":"0", "@first":"0"} } } )