Rima S. Tanash

According to our database, Rima S. Tanash authored at least 4 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

One-Click Formal Methods.

John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima S. Tanash, Carsten Varming, Michael W. Whalen

IEEE Softw., 2019

2017

The Decline of Social Media Censorship and the Rise of Self-Censorship after the 2016 Failed Turkish Coup.

Rima S. Tanash, Zhouhan Chen, Dan S. Wallach, Melissa Marschall

Proceedings of the 7th USENIX Workshop on Free and Open Communications on the Internet, 2017

Hunting Malicious Bots on Twitter: An Unsupervised Approach.

Zhouhan Chen, Rima S. Tanash, Richard Stoll, Devika Subramanian

Proceedings of the Social Informatics, 2017

2015

Known Unknowns: An Analysis of Twitter Censorship in Turkey.

Rima S. Tanash, Zhouhan Chen, Tanmay Thakur, Dan S. Wallach, Devika Subramanian

Proceedings of the 14th ACM Workshop on Privacy in the Electronic Society, 2015