Interesting logic security