Avni, G.; Henzinger, T. A.; Chonev, V.: Infinite-Duration Bidding Games. In: 28th International Conference on Concurrency Theory, 21, S. 1 - 18 (Hg. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, 05. September 2017 - 08. September 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, S. 334 - 349. 2nd IEEE European Symposium on Security and Privacy , Paris, France, 26. April 2017 - 28. April 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, S. 76 - 91. 2nd IEEE European Symposium on Security and Privacy , Paris, France, 26. April 2017 - 28. April 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, S. 481 - 495. 2nd IEEE European Symposium on Security and Privacy , Paris, France, 26. April 2017 - 28. April 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, S. 292 - 304. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, 21. August 2017 - 25. August 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, S. 242 - 259 (Hg. Foley, S. N.; Gollmann, D.; Snekkenes, E.). 22nd European Symposium on Research in Computer Security, Oslo, Norway, 11. September 2017 - 15. September 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, S. 267 - 276. 26th ACM International Conference on Information and Knowledge Management , Singapore, Singapore, 06. November 2017 - 10. November 2017. ACM, New York, NY (2017)

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

Chakraborty, S.; Vafeiadis, V.: Formalizing the Concurrency Semantics of an LLVM Fragment. In: CGO'17, S. 100 - 110 (Hg. Reddi, V. J.; Smith, A.; Tang, L.). International Symposium on Code Generation and Optimization, Austin, TX, USA, 04. Februar 2017 - 08. Februar 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, S. 22 - 31. 11th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 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, S. 837 - 846. 26th International Conference on World Wide Web , Perth, Australia, 03. April 2017 - 07. April 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, S. 172 - 175 (Hg. Stewart, D.; Weissenbacher, G.). 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, 02. Oktober 2017 - 06. Oktober 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, S. 1773- - 1788. ACM SIGSAC Conference on Computer and Communications Security , Dallas, TX, USA, 30. Oktober 2017 - 03. November 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, S. 1 - 17 (Hg. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, 05. September 2017 - 08. September 2017. Schloss Dagstuhl, Wadern (2017)

Doko, M.; Vafeiadis, V.: Tackling Real-Life Relaxed Concurrency with FSL++. In: Programming Languages and Systems, S. 448 - 475 (Hg. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)

Fages, F.; Le Guludec, G.; Bournez, O.; Pouly, A.: Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. In: Computational Methods in Systems Biology, S. 108 - 127 (Hg. Feret, J.; Koeppl, H.). 15th Conference on Computational Methods in Systems Biology, Darmstadt, Germany, 27. September 2017 - 29. September 2017. Springer, Berlin (2017)

Farahani, S. S.; Majumdar, R.; Prabhu, V.; Soudjan, S. E. Z.: Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications. In: American Control Conference (Hg. Sun, J.). American Control Conference, Seattle, WA, USA, 24. Mai 2017 - 26. Mai 2017. IEEE, Piscataway, NJ (2017)

Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. In: 34th Symposium on Theoretical Aspects of Computer Science, 29, S. 1 - 13 (Hg. Vollmer, H.; Vallée, B.). 34th Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 08. März 2017 - 11. März 2017. Schloss Dagstuhl, Wadern (2017)

Fischer, J.; Majumdar, R.: Programming by Composing Filters. In: LPAR-21, S. 1 - 13 (Hg. Eiter, T.; Sands, D.). 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 08. Mai 2017 - 12. Mai 2017. EasyChair, Manchester, UK (2017)

Francis, P.; Probst Eide, S.; Munz, R.: Diffix: High-Utility Database Anonymization. In: Privacy Technologies and Policy, S. 141 - 158 (Hg. Schweighofer, E.; Leitold, H.; Mitrakas, A.; Rannenberg, K.). 5th Annual Privacy Forum, Vienna, Austria, 07. Juni 2017 - 08. Juni 2017. Springer, Berlin (2017)