Ulisses Costa

msc uminho methods formal research cryptol programming cryptography formal specification static code analyzer languages statistics compilers code mfes haskell linux beamer latex aerospace and defense software testing cesium static software tool snort network lip presentation analyzer formal methods paper snow3g processing code analyzer language language processing universidade um perl tshark portugus tecpdump bash libpcap galois c++ proof frama-c checking splint tools cs cipher vdmtools vdm ldap jml cssi ssi security honeynet honeyd honeypot jmlunit portugal caos pointfree calculador lei