Backes, M.; Berrang, P.; Humbert, M.; Manoharan, P.: Membership Privacy in MicroRNA-based Studies. In: CCS'16, S. 319 - 330. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 2016. ACM, New York, NY (2016)

Backes, M.; Berrang, P.; Humbert, M.; Shen,, X.; Wolf, V.: Simulating the Large-Scale Erosion of Genomic Privacy Over Time. In: Proceedings of the 3rd International Workshop on Genome Privacy and Security. 3rd International Workshop on Genome Privacy and Security, Chicago, IL, USA, 12. November 2016. (2016)

Backes, M.; Bugiel, S.; Derr, E.: Reliable Third-Party Library Detection in Android and its Security Applications. In: CCS'16, S. 356 - 367. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 2016. ACM, New York, NY (2016)

Backes, M.; Bugiel, S.; Derr, E.; Gerling, S.; Hammer, C.: R-Droid: Leveraging Android App Analysis with Static Slice Optimization. In: ASIA CCS'16, S. 129 - 140. 11th ACM Asia Conference on Computer and Communications Security, Xi’an, China, 30. Mai 2016 - 03. Juni 2016. ACM, New York, NY (2016)

Backes, M.; Bugiel, S.; Derr, E.; McDaniel, P.; Octeau, D.; Weisgerber, S.: On Demystifying the Android Application Framework: Re-Visiting Android Permission Specification Analysis. In: Proceedings of the 25th USENIX Security Symposium, S. 1101 - 1118. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)

Backes, M.; Hammer, C.; Pfaff, D.; Skoruppa, M.: Implementation-level Analysis of the JavaScript Helios Voting Client. In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, S. 2071 - 2078. The 31st Annual ACM Symposium on Applied Computing , Pisa, Italy, 04. April 2016 - 08. April 2016. ACM, New York, NY (2016)

Backes, M.; Herzberg, A.; Kate, A.; Pryvalov, I.: Anonymous RAM. In: Computer Security -- ESORICS 2016, S. 344 - 362 (Hg. Askoxylakis, I.; Ioannidis, S.; Katsikas, S.; Meadows, C.). 21st European Symposium on Research in Computer Security, Heraklion, Greece, 26. September 2016 - 30. September 2016. Springer, Berlin (2016)

Backes, M.; Holz, T.; Rossow, C.; Rytilahti, T.; Simeonovski, M.; Stock, B.: On the Feasibility of TTL-Based Filtering for DRDoS Mitigation. In: Research in Attacks, Intrusions, and Defenses, S. 303 - 322 (Hg. Monrose, F.; Dacier, M.; Blanc, G.; Garcia-Alfaro, J.). 19th International Symposium on Research in Attacks, Intrusions, and Defenses, Paris, France, 19. September 2016 - 21. September 2016. Springer, Berlin (2016)

Backes, M.; Künnemann, R.; Mohammadi, E.: Computational Soundness for Dalvik Bytecode. In: CCS'16, S. 717 - 730. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 2016. ACM, New York, NY (2016)

Backes, M.; Meiser, S.; Schröder, D.: Delegatable Functional Signatures. In: Public-Key Cryptography -- PKC 2016, S. 357 - 386 (Hg. Cheng, C.-M.; Chung, K.-M.; Persiano, G.; Yang, B.-Y.). 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, 06. März 2016 - 09. März 2016. Springer, Berlin (2016)

Biega, J. A.; Gummadi, K.; Mele, I.; Milchevski, D.; Tryfonopoulos, C.; Weikum, G.: R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities. In: SIGIR'16, S. 365 - 374. 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, Pisa, Italy, 17. Juli 2016 - 21. Juli 2016. ACM, New York, NY (2016)

Biondi, A.; Brandenburg, B.: Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors. In: The 28th Euromicro Conference on Real-Time Systems, S. 39 - 49. 28th Euromicro Conference on Real-Time Systems , Toulouse, France, 05. Juli 2016 - 08. Juli 2016. IEEE, Piscataway, NJ (2016)

Biondi, A.; Brandenburg, B.; Wieder, A.: A Blocking Bound for Nested FIFO Spin Locks. In: IEEE 37th Real-Time Systems Symposium, S. 291 - 302. IEEE 37th Real-Time Systems Symposium, Porto, Portugal, 29. November 2016 - 02. Dezember 2016. IEEE Computer Society, Los Alamitos, CA (2016)

Boloşteanu, I.; Garg, D.: Asymmetric Secure Multi-execution with Declassification. In: Principles of Security and Trust, S. 24 - 45. 6th Conference on Principles of Security and Trust, Uppsala, Sweden, 22. April 2016 - 29. April 2016. Springer, Berlin (2016)

Bonifaci, V.; Brandenburg, B.; D'Angelo, G.; Marchetti-Spaccamela, A.: Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities. In: The 28th Euromicro Conference on Real-Time Systems, S. 237 - 247. 28th Euromicro Conference on Real-Time Systems , Toulouse, France, 05. Juli 2016 - 08. Juli 2016. IEEE, Piscataway, NJ (2016)

Brandenburg, B.; Gül, M.: Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations. In: IEEE 37th Real-Time Systems Symposium, S. 99 - 110. IEEE 37th Real-Time Systems Symposium, Porto, Portugal, 29. November 2016 - 02. Dezember 2016. IEEE Computer Society, Los Alamitos, CA (2016)

Brengel, M.; Backes, M.; Rossow, C.: Detecting Hardware-Assisted Virtualization. In: Detection of Intrusions and Malware, and Vulnerability Assessment, S. 207 - 227 (Hg. Caballero, J.; Zurutuza, U.; Rodriguez, R. J.). 13th International Conference on Detection of Intrusions and Malware and Vulnerability Assessment, Donostia-San Sebastián, Spain, 07. Juli 2016 - 08. Juli 2016. Springer, Berlin (2016)

Cerqueira, F.; Stutz, F.; Brandenburg, B.: PROSA: A Case for Readable Mechanized Schedulability Analysis. In: The 28th Euromicro Conference on Real-Time Systems, S. 273 - 284. 28th Euromicro Conference on Real-Time Systems , Toulouse, France, 05. Juli 2016 - 08. Juli 2016. IEEE, Piscataway, NJ (2016)

Chakraborty, S.; Vafeiadis, V.: Taming Release-acquire Consistency. In: POPL'16, S. 649 - 662 (Hg. Bodik, R.; Majumdar, R.). 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, 20. Januar 2015 - 22. Januar 2015. ACM, New York, NY (2016)

Chakraborty, S.; Vafeiadis, V.: Validating Optimizations of Concurrent C/C++ Programs. In: CGO'16, S. 216 - 226. 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization , Barcelona, Spain, 12. März 2016 - 18. März 2016. ACM, New York, NY (2016)