Secure Development with Elixir and Erlang — Programming Keynou