Ulisses Costa

beamer calculador code cryptography cryptol cs cssi di formal haskell honeynet honeypot latex linux lip methods mfes msc presentation programming research software splint tool uminho vdmtools 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