StumbleUpon | ulissescosta's URL reviews

Evolve Space Solutions

Sat, 04 Jul 2009 22:27:50 -0700

A Portuguese space company working for European Space Agency.

An Interview with Robin Milner

Sun, 28 Jun 2009 18:38:18 -0700

An interview with Robin Milner.

Splint the static C code checker & Ulisses Costa Blog

Fri, 29 May 2009 16:51:30 -0700

In this post I will present some verifications that Splint does, and show the philosophy and how to use it. Splint allows annotations on functions, variables, parameters and types.

foldr the magic function & Ulisses Costa Blog

Thu, 21 May 2009 19:47:53 -0700

Explanation about foldr function in Haskell

Top 10 programs - Haskell version & Ulisses Costa Blog

Sun, 08 Feb 2009 16:00:02 -0800

A review on:

~$ history | awk '{print $2}' |sort | uniq -c | sort -rn | head

but in haskell...

Type inference & Ulisses Costa Blog

Sun, 08 Feb 2009 15:55:55 -0800

From the page: "The type inference is the ability to a programming language deduct the data types of all functions of a program. It is a feature present in many strongly typed languages, such as Haskell. Where is not mandatory write the signature of the functions. What is great because it increases the production of code, and security because if the inference algorithm fail means that we have an error of types in our code, all this in compilation time."

Pointfree Calculator & Ulisses Costa Blog

Sun, 08 Feb 2009 15:53:14 -0800

In this semester had to do this project with my friend, Jo�o Moura, under supervision of professor Alcino Cunha.

The project was to make a program that make automatic the process of proving an equality of functions written in the pointfree style. Not completely automatic, but so iterative. The program load a file with rules and the user inserts an equality of functions in pointfree and can surf the words to find a sub-expression which want to run a particular rule. From the side are shown all the rules that may apply to selected sub-expression.

HTTP attacks & Ulisses Costa Blog

Thu, 22 Jan 2009 19:13:01 -0800

In this post I will talk about the HTTP results that I collected from the experience with one honeypot.
As you may know, I've been putting one honeypot running for 5 weeks. I've previously talked about SMTP and SSH attacks, now is the time for HTTP. This service (port 80) is by far the most fustigated service in the honeypot. And make sense, in this port we can have a lot of Web services with a lot of exploitable code running...

Tracing the attack - Part II & Ulisses Costa Blog

Thu, 22 Jan 2009 13:51:50 -0800

This post is the continuation of Tracing the attack - Part I. And this post is the final one, of this stack.
Here I'm gonna to talk about the Heap/BSS Overflow and Rootkits.

http://ulissesaraujo.wordpress.com/2009/01/21/random-attacks-part-ii/

Thu, 22 Jan 2009 11:58:29 -0800

This post is the continuation of Tracing the attack - Part I. And this post is the final one, of this stack.
Here I'm gonna to talk about the Heap/BSS Overflow and Rootkits.