Yeah, this seems like the correct term for what the paper is describing. Or heck, just 'bully' in general, since that's what it'd be referred to if offline. As

Yeah, this seems like the correct term for what the paper is describing. Or heck, just 'bully' in general, since that's what it'd be referred to if offline. As much as the meaning seems to have drifted, trolling and bullying are two different issues, not different names for the same one.