Thanks for posting. I can't find it now, but we mention somewhere in the paper that typing makes it more difficult to fake messages. Typing allows you to make stronger proofs over the properties and behaviour of actor systems. Sorry if I've missed the point: What are the other direct implications to security which typing brings?

Excellent question! Types can provide very strong security

for messages by having the type system do crypto so that

applications can benefit without requiring application

programmers to manage keys and crypto code.

Thanks. That makes sense.

You are very welcome.

There is additional information available here:

https://professorhewitt.blogspot.com/