Saw some discussions on the game name on reddit (since portal64 is already occupied by nintendo64 portal game).

My suggestion is Portal Squared :)

Since you have kind of next part named Portal Cubed