Lahav, O.; Giannarakis, N.; Vafeiadis, V.: Taming Release-acquire Consistency. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 649 - 662. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2016 - 22. Januar 2016. ACM, New York, NY (2016)

Litton, J.; Vahldiek-Oberwagner, A.; Elnikety, E.; Garg, D.; Bhattacharjee, B.; Druschel, P.: Light-weight Contexts: An OS Abstraction for Safety and Performance. In: 12th USENIX Symposium on Operating Systems Design and Implementation, S. 49 - 64. 12th USENIX Symposium on Operating Systems Design and Implementation, Savannah, GA, USA, 02. November 2016 - 04. November 2016. USENIX, s.l. (2016)

Lu, K.; Backes, M.; Nürnberger, S.; Lee, W.: How to Make ASLR Win the Clone Wars: Runtime Re-Randomization. In: Proceedings of the 23rd Annual Symposium on Network and Distributed System Security. 23rd Annual Symposium on Network and Distributed System Security, San Diego, CA, USA, 21. Februar 2016 - 24. Februar 2016. Internet Society, Reston, VA (2016)

Maisuradze, G.; Backes, M.; Rossow, C.: What Cannot be Read, Cannot be Leveraged? Revisiting Assumptions of JIT-ROP Defenses. In: Proceedings of the 25th USENIX Security Symposium, S. 139 - 156. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)

Maiya, P.; Gupta, R.; Kanade, A.; Majumdar, R.: Partial Order Reduction for Event-Driven Multi-threaded Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 680 - 697 (Hg. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 02. April 2016 - 08. April 2016. Springer, Berlin (2016)

Majumdar, R.: Robots at the Edge of the Cloud. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 3 - 13 (Hg. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 02. April 2016 - 08. April 2016. Springer, Berlin (2016)

Majumdar, R.; Prabhu, V.: Computing Distances between Reach Flowpipes. In: HSCC'16, S. 267 - 276. 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, 12. April 2016 - 14. April 2016. ACM, New York, NY (2016)

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, S. 22 - 27. 13th International Workshop on Discrete Event Systems, Xi'an, China, 30. Mai 2016 - 01. Juni 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, S. 171 - 180. 24th International Conference on Real-Time Networks and Systems, Brest, France, 19. Oktober 2016 - 21. Oktober 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, S. 287 - 300. 12th Symposium on Usable Privacy and Security, Denver, CO, USA, 22. Juni 2016 - 24. Juni 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, S. 161 - 170. 24th International Conference on Real-Time Networks and Systems, Brest, France, 19. Oktober 2016 - 21. Oktober 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, S. 619 - 636. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)

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

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

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

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

Sankar, A.; Chakraborty, S.; Nandivada, V. K.: Improved MHP Analysis. In: Proceedings of CC 2016, S. 207 - 217. The 25th International Conference on Compiler Construction, Barcelona, Spain, 17. März 2016 - 18. März 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, S. 1192 - 1203. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 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, S. 687 - 690. 10th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 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, S. 1015 - 1032. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)