Américo, Arthur

1. An Algebraic Approach for Reasoning About Information Flow
   2018/01/24 by Américo, Arthur, Alvim, Mário S., McIver, Annabelle · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences