Venkatadri, G.; Mislove, A.; Gummadi, K. P.: Treads: Transparency-Enhancing Ads. In: HotNets-VXIII, pp. 169 - 175. ACM Workshop on Hot Topics in Networks, Redmond, WA, USA, November 15, 2018 - November 16, 2018. ACM, New York, NY (2018)

Venkatadri, G.; Andreou, A.; Liu, Y.; Mislove, A.; Gummadi, K. P.; Loiseau, P.; Goga, O.: Privacy Risks with Facebook's PII-Based Targeting: Auditing a Data Broker's Advertising Interface. In: 2018 IEEE Symposiumon Security and Privacy, pp. 89 - 107. IEEE Symposium on Security and Privacy , San Francisco, CA, USA, May 21, 2018 - May 23, 2018. IEEE, Piscataway, NJ (2018)

Zetzsche, G.: Separability by Piecewise Testable Languages and Downward Closures Beyond Subwords. In: LICS'18, pp. 929 - 938. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, July 09, 2018 - July 12, 2018. ACM, New York, NY (2018)

Almagor, S.; Ouaknine, J.; Worrell, J.: The Polytope-Collision Problem. In: 44th International Colloquium on Automata, Languages, and Programming, 24, pp. 1 - 14 (Eds. Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.). 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, July 10, 2017 - July 14, 2017. Schloss Dagstuhl, Wadern (2017)

Alvin, C.; Gulwani, S.; Majumdar, R.; Mukhopadhyay, S.: Synthesis of Problems for Shaded Area Geometry Reasoning. In: Artificial Intelligence in Education, pp. 455 - 458 (Eds. André, E.; Baker, R.). 18th International Conference on Artificial Intelligence in Education, Wuhan, China, June 28, 2017 - July 01, 2017. Springer, Berlin (2017)

Alvin, C.; Gulwani, S.; Majumdar, R.; Mukhopadhyay, S.: Synthesis of Solutions for Shaded Area Geometry Problems. In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, pp. 14 - 19. 30th International Florida Artificial Intelligence Research Society Conference, Marco Island, FL, USA, May 22, 2017 - May 24, 2017. AAAI (2017)

Avni, G.; Henzinger, T. A.; Chonev, V.: Infinite-Duration Bidding Games. In: 28th International Conference on Concurrency Theory, 21, pp. 1 - 18 (Eds. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, September 05, 2017 - September 08, 2017. Schloss Dagstuhl, Wadern (2017)

Backes, M.; Rieck, K.; Skoruppa, M.; Stock, B.; Yamaguchi, F.: Efficient and Flexible Discovery of PHP Application Vulnerabilities. In: 2nd IEEE European Symposium on Security and Privacy, pp. 334 - 349. 2nd IEEE European Symposium on Security and Privacy , Paris, France, April 26, 2017 - April 28, 2017. IEEE, Piscataway, NJ (2017)

Backes, M.; Dreier, J.; Kremer, S.; Künnemann, R.: A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. In: 2nd IEEE European Symposium on Security and Privacy, pp. 76 - 91. 2nd IEEE European Symposium on Security and Privacy , Paris, France, April 26, 2017 - April 28, 2017. IEEE, Piscataway, NJ (2017)

Backes, M.; Bugiel, S.; Schranz, O.; von Styp-Rekowsky, P.; Weisgerber, S.: ARTist: The Android Runtime Instrumentation and Security Toolkit. In: 2nd IEEE European Symposium on Security and Privacy, pp. 481 - 495. 2nd IEEE European Symposium on Security and Privacy , Paris, France, April 26, 2017 - April 28, 2017. IEEE, Piscataway, NJ (2017)

Backes, M.; Gomez Rodriguez, M.; Manoharan, P.; Surma, B.: Reconciling Privacy and Utility in Continuous-Time Diffusion Networks. In: IEEE 30th Computer Security Foundations Symposium, pp. 292 - 304. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, August 21, 2017 - August 25, 2017. IEEE, Piscataway, NJ (2017)

Bichhawat, A.; Rajani, V.; Jain, J.; Garg, D.; Hammer, C.: WebPol: Fine-Grained Information Flow Policies for Web Browsers. In: Computer Security -- ESORICS 2017, pp. 242 - 259 (Eds. Foley, S. N.; Gollmann, D.; Snekkenes, E.). 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11, 2017 - September 15, 2017. Springer, Berlin (2017)

Biega, A. J.; Ghazimatin, A.; Ferhatosmanoglu, H.; Gummadi, K.; Weikum, G.: Learning to Un-Rank: Quantifying Search Exposure for Users in Online Communities. In: CIKM'17, pp. 267 - 276. 26th ACM International Conference on Information and Knowledge Management , Singapore, Singapore, November 06, 2017 - November 10, 2017. ACM, New York, NY (2017)

Bournez, O.; Pouly, A.: Universal Ordinary Differential Equation. In: 44th International Colloquium on Automata, Languages, and Programming, 116, pp. 1 - 14 (Eds. Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.). 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, July 10, 2017 - July 14, 2017. Schloss Dagstuhl, Wadern (2017)

Chakraborty, S.; Vafeiadis, V.: Formalizing the Concurrency Semantics of an LLVM Fragment. In: CGO'17, pp. 100 - 110 (Eds. Reddi, V. J.; Smith, A.; Tang, L.). International Symposium on Code Generation and Optimization, Austin, TX, USA, February 04, 2017 - February 08, 2017. IEEE, Piscataway, NJ (2017)

Chakraborty, A.; Messias, J.; Benevenuto, F.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. In: Proceedings of the Eleventh International AAAI Conference on Web and Social Media, pp. 22 - 31. 11th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2017)

Chakraborty, A.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Optimizing the Recency-Relevancy Trade-off in Online News Recommendations. In: WWW'17, pp. 837 - 846. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)

Conchon, S.; Goel, A.; Krstic, S.; Majumdar, R.; Roux, M.: FAR-Cubicle -- A New Reachability Algorithm for Cubicle. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, pp. 172 - 175 (Eds. Stewart, D.; Weissenbacher, G.). 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, October 02, 2017 - October 06, 2017. IEEE, Piscataway, NJ (2017)

Cremers, C.; Horvat, M.; Hoyland, J.; Scott, S.; van der Merwe, T.: A Comprehensive Symbolic Analysis of TLS 1.3. In: CCS'17, pp. 1773- - 1788. ACM SIGSAC Conference on Computer and Communications Security , Dallas, TX, USA, October 30, 2017 - November 03, 2017. ACM, New York, NY (2017)

Dimitrova, R.; Gavran, I.; Majumdar, R.; Prabhu, V.; Soudjani, S.: The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. In: 28th International Conference on Concurrency Theory, 13, pp. 1 - 17 (Eds. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, September 05, 2017 - September 08, 2017. Schloss Dagstuhl, Wadern (2017)