Mallik, K.; Schmuck, A.-K.: Supervisory Controller Synthesis for Decomposable Deterministic Context Free Specification Languages. In: Proceedings of the 13th International Workshop on Discrete Event Systems, pp. 22 - 27. 13th International Workshop on Discrete Event Systems, Xi'an, China, May 30, 2016 - June 01, 2016. IEEE, Piscataway, NJ (2016)

Mohaqeqi, M.; Nasri, M.; Xu, Y.; Cervin, A.; Årzén, K.-E.: On the Problem of Finding Optimal Harmonic Periods. In: 24th International Conference on Real-Time Networks and Systems, pp. 171 - 180. 24th International Conference on Real-Time Networks and Systems, Brest, France, October 19, 2016 - October 21, 2016. ACM, New York, NY (2016)

Mondal, M.; Messias, J.; Ghosh, S.; Gummadi, K.; Kate, A.: Forgetting in Social Media: Understanding and Controlling Longitudinal Exposure of Socially Shared Data. In: Twelfth Symposium on Usable Privacy and Security, pp. 287 - 300. 12th Symposium on Usable Privacy and Security, Denver, CO, USA, June 22, 2016 - June 24, 2016. USENIX, Berkeley, CA (2016)

Nasri, M.; Mohaqeqi, M.; Fohler, G.: Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic. In: 24th International Conference on Real-Time Networks and Systems, pp. 161 - 170. 24th International Conference on Real-Time Networks and Systems, Brest, France, October 19, 2016 - October 21, 2016. ACM, New York, NY (2016)

Ohrimenko, O.; Schuster, F.; Fournet, C.; Mehta, A.; Nowozin, S.; Vaswani, K.; Costa, M.: Oblivious Multi-Party Machine Learning on Trusted Processors. In: Proceedings of the 25th USENIX Security Symposium, pp. 619 - 636. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)

Patrignani, M.; Devriese, D.; Piessens, F.: On Modular and Fully-Abstract Compilation. In: CSF 2016, pp. 17 - 30. 29th Computer Security Foundations Symposium, Lisbon, Portugal, June 27, 2016 - July 01, 2016. IEEE, Piscataway, NJ (2016)

Perera, R.; Garg, D.; Cheney, J.: Causally Consistent Dynamic Slicing. In: 27th International Conference on Concurrency Theory, 18, pp. 1 - 16. 27th International Conference on Concurrency Theory, Québec City, Canada, August 23, 2016 - August 26, 2016. Schloss Dagstuhl, Wadern (2016)

Rafnsson, W.; Garg, D.; Sabelfeld, A.: Progress-Sensitive Security for SPARK. In: Engineering Secure Software and Systems, pp. 20 - 37. 8th International Symposium on Engineering Secure Software and Systems , London, UK, April 06, 2016 - April 08, 2016. Springer, Berlin (2016)

Rajani, V.; Garg, D.; Rezk, T.: On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. In: CSF 2016, pp. 150 - 163. 29th Computer Security Foundations Symposium, Lisbon, Portugal, June 27, 2016 - July 01, 2016. IEEE, Piscataway, NJ (2016)

Sankar, A.; Chakraborty, S.; Nandivada, V. K.: Improved MHP Analysis. In: Proceedings of CC 2016, pp. 207 - 217. The 25th International Conference on Compiler Construction, Barcelona, Spain, March 17, 2016 - March 18, 2016. ACM, New York, NY (2016)

Schneider, J.; Fleischhacker, N.; Schröder, D.; Backes, M.: Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments. In: CCS'16, pp. 1192 - 1203. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October 24, 2016 - October 28, 2016. ACM, New York, NY (2016)

Silva, L.; Mondal, M.; Correa, D.; Benevenuto, F.; Weber, I.: Analyzing the Targets of Hate in Online Social Media. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, pp. 687 - 690. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2016)

Stock, B.; Pellegrino, G.; Rossow, C.; Johns, M.; Backes, M.: Hey, You Have a Problem: On the Feasibility of Large-Scale Web Vulnerability Notification. In: Proceedings of the 25th USENIX Security Symposium, pp. 1015 - 1032. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)

Venkatadri, G.; Goga, O.; Zhong, C.; Viswanath, B.; Gummadi, K.; Sastry, N.: Strengthening Weak Identities Through Inter-Domain Trust Transfer. In: WWW'16, pp. 1249 - 1259. 25th International Conference on World Wide Web , Montréal, Canada, May 11, 2016 - May 15, 2016. ACM, New York, NY (2016)

Yokoyama, A.; Ishii, K.; Tanabe, R.; Papa, Y.; Yoshioka, K.; Matsumoto, T.; Kasama, T.; Inoue, D.; Brengel, M.; Backes, M. et al.; Rossow, C.: SandPrint: Fingerprinting Malware Sandboxes to Provide Intelligence for Sandbox Evasion. In: Research in Attacks, Intrusions, and Defenses, pp. 165 - 187 (Eds. Monrose, F.; Dacier, M.; Blanc, G.; Garcia-Alfaro, J.). 19th International Symposium on Research in Attacks, Intrusions, and Defenses, Paris, France, September 19, 2016 - September 21, 2016. Springer, Berlin (2016)

Zafar, M. B.; Bhattacharya, P.; Ganguly, N.; Ghosh, S.; Gummadi, K. P.: On the Wisdom of Experts vs. Crowds: Discovering Trustworthy Topical News in Microblogs. In: CSCW '16, pp. 438 - 451. 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing, San Francisco, CA, USA, February 27, 2016 - March 02, 2016. ACM, New York, NY (2016)

Zafar, M. B.; Gummadi, K. P.; Danescu-Niculescu-Mizil, C.: Message Impartiality in Social Media Discussions. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, pp. 466 - 475. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2016)

Ҫiҫek, E.; Paraskevopoulou, Z.; Garg, D.: A Type Theory for Incremental Computational Complexity with Control Flow Changes. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programmin, pp. 132 - 145. 21th ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, September 18, 2016 - September 22, 2016. ACM, New York, NY (2016)

Jia, X.; Li, W.; Vafeiadis, V.: Proving Lock-freedom Easily and Automatically. In: CPP'15, pp. 119 - 127. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, January 13, 2015 - January 14, 2015. ACM, New York, NY (2015)

Vafeiadis, V.: Formal Reasoning about the C11 Weak Memory Model. In: CPP'15, pp. 1 - 2. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, January 15, 2015 - January 17, 2015. ACM, New York, NY (2015)