nginx is the way to go. You said you do not want to be bloated, that's why I did not answer apache server.
Most companies are switching to nginx for this reason.
Either way shoul should be fine. Both are secure and high available.
Also, I see they are available for linux, but Windows Server is better as far as I know for this things, because of performance.