Ulisses Costa

beamer checking code cryptography cryptol di formal galois haskell jmlunit latex linux lip methods mfes msc portugal presentation programming proof research snort software splint tool uminho View all

beamer c++ calculador caos checking cipher code cryptography cryptol cs cssi di formal frama-c galois haskell honeyd honeynet honeypot jml jmlunit latex ldap lei linux lip methods mfes msc network pointfree portugal presentation programming proof research security snort software splint ssi static tool tools uminho vdm vdmtools less