My dad has a cat that had a rough life. For years, he was scared of everyone but my dad. He was actually scared of my dad for quite a while, but after a long time of adjustment, he got comfortable with my dad and would hang out with him, but still anyone else who came to the house literally wouldn't see him because he was hiding.
Everyone just kind of left him alone and let him do his thing, and after a long long time he decided other people were okay and now he's fine, just a little skittish if something happens. I think like a lot of things with cats, you can just let her be. Most cats aren't scared of men as a rule, but if she is, I would just let her attend to her safety the way she wants to.
If it's useful, my dad reported that he made friends with his cat by dragging a long piece of string around on the ground and letting the guy play with it which kitty enjoyed, and sort of slowly working the string closer and closer to him while being completely still and nonthreatening and just letting the play exist in the same physical location as my dad was, and after a lot of repetition Mr. Kitty decided nothing bad had happened and the big dude was probably fine.