Ulisses Araújo Costa

Current activities

Past projects

See Past projects for more information.

Current projects

Maps of services in a distributed system
Keywords: Low level Haskell programming, Snort, Wireshark, tshark, Network programming
Link: Maps of services in a distributed system
Security proof of cryptographic algorithms with Coq
Keywords: Coq, Security, Cryptography
Link: Security proof of cryptographic algorithms with Coq
Study the Cryptol DSL language
Keywords: Cryptol, SNOW 3G cipher, formal methods, VHDL
Link: Study the Cryptol DSL language

My interests, apart from computers