Fair use of trademarks is pretty nitpicky. Most policies say that the trademark can't be the first word, so for example "ARM Reversing" is not allowed but "Reversing ARM code" would be allowed.
Policies aren't always binding. There're companies which include a point about complying with the trademark policies in their terms of use, there're some which just located on their site under the name guidance.
P.S. I am not a lawyer.
So you two are basically telling me i need to hire a lawyer to learn about leg programming :)