Conference Paper (918)
741.
Conference Paper
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)
742.
Conference Paper
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)
743.
Conference Paper
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)
744.
Conference Paper
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)
745.
Conference Paper
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)
746.
Conference Paper
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)
747.
Conference Paper
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)
748.
Conference Paper
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)
749.
Conference Paper
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)
750.
Conference Paper
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)
751.
Conference Paper
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)
752.
Conference Paper
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)
753.
Conference Paper
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)
754.
Conference Paper
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)
755.
Conference Paper
Tackling Real-Life Relaxed Concurrency with FSL++. In: Programming Languages and Systems, pp. 448 - 475 (Ed. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, April 22, 2017 - April 29, 2017. Springer, Berlin (2017)
756.
Conference Paper
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. In: Computational Methods in Systems Biology, pp. 108 - 127 (Eds. Feret, J.; Koeppl, H.). 15th Conference on Computational Methods in Systems Biology, Darmstadt, Germany, September 27, 2017 - September 29, 2017. Springer, Berlin (2017)
757.
Conference Paper
Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications. In: American Control Conference (Ed. Sun, J.). American Control Conference, Seattle, WA, USA, May 24, 2017 - May 26, 2017. IEEE, Piscataway, NJ (2017)
758.
Conference Paper
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. In: 34th Symposium on Theoretical Aspects of Computer Science, 29, pp. 1 - 13 (Eds. Vollmer, H.; Vallée, B.). 34th Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, March 08, 2017 - March 11, 2017. Schloss Dagstuhl, Wadern (2017)
759.
Conference Paper
Programming by Composing Filters. In: LPAR-21, pp. 1 - 13 (Eds. Eiter, T.; Sands, D.). 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 08, 2017 - May 12, 2017. EasyChair, Manchester, UK (2017)
760.
Conference Paper
Diffix: High-Utility Database Anonymization. In: Privacy Technologies and Policy, pp. 141 - 158 (Eds. Schweighofer, E.; Leitold, H.; Mitrakas, A.; Rannenberg, K.). 5th Annual Privacy Forum, Vienna, Austria, June 07, 2017 - June 08, 2017. Springer, Berlin (2017)