Wissenschaftliche Publikationen

Davis​​, C. A.; Ciampaglia​​, G. L.; Aiello, L. M.; Chung, K.; Conover, M. D.; Ferrara, E.; Flammini, A.; Fox, G. C.; Gao, X.; Gonçalves, B. et al.; Grabowicz, P.; Hong, K.; Hui, P.-M.; McCaulay, S.; McKelvey, K.; Meiss, M. R.; Patil, S.; Kankanamalage, C. P.; Pentchev, V.; Qiu, J.; Ratkiewicz, J.; Rudnick, A.; Serrette, B.; Shiralkar, P.; Varol, O.; Weng, L.; Wu, T.-L.; Younge, A. J.; Menczer, F.: OSoMe: The IUNI Observatory on Social Media. PeerJ Computer Science 2, e87 (2016)

Backes, M.; Bugiel, S.; Schranz, O.; von Styp-Rekowsky, a. P.: Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. ;login 41 (2), S. 16 - 21 (2016)

Balegas, V.; Li, C.; Najafzadeh, M.; Porto, D.; Clement, A.; Duarte, S.; Ferreira, C.; Gehrke, J.; Leitão, J.; Preguiça, N. M. et al.; Rodrigues, R.; Shapiro, M.; Vafeiadis, V.: Geo-Replication: Fast If Possible, Consistent If Necessary. Bulletin of the Technical Committee on Data Engineering 39 (1), S. 81 - 92 (2016)

Esparza, J.; Ganty, P.; Majumdar, R.: Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 63 (1), 10 (2016)

Gomez Rodriguez, M.; Song, L.; Daneshmand, H.; Schölkopf, B.: Estimating Diffusion Networks: Recovery Conditions, Sample Complexity and Soft-thresholding Algorithm. Journal of Machine Learning Research 17, 90, S. 1 - 29 (2016)

Gomez Rodriguez, M.; Song,, L.; Du, N.; Zha, H.; Schöllkopf, B.: Influence Estimation and Maximization in Continuous-Time Diffusion Networks. ACM Transactions on Information Systems 34 (2), 9, S. 1 - 33 (2016)

Moreno-Sanchez, P.; Zafar, M. B.; Kate, A.: Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network. Proceedings on Privacy Enhancing Technologies 2016 (4), S. 436 - 453 (2016)

Schmuck, A.-K.; Schneider, S.; Raisch, J.; Nestmann, U.: Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems 26 (1), S. 5 - 32 (2016)

Valera, I.; Ruiz, F. J. R.; Olmos, P. M.; Blanco, C.; Perez-Cruz, F.: Infinite Continuous Feature Model for Psychiatric Comorbidity Analysis. Neural Computation 28 (2), S. 354 - 381 (2016)

Valera, I.; Ruiz, F. J. R.; Perez-Cruz, F.: Infinite Factorial Unbounded-State Hidden Markov Model. IEEE Transactions on Pattern Analysis and Machine Intelligence 38 (9), S. 1816 - 1828 (2016)

Backes, M.; Berrang, P.; Manoharan, P.: From Zoos to Safaris -- From Closed-World Enforcement to Open-World Assessment of Privacy. In: Foundations of Security Analysis and Design VIII, S. 87 - 138 (Hg. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)

Bodik, R.; Majumdar, R. (Hg.): POPL'16. 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), XVI, 817 S.

Lahav, O.; Vafeiadis, V.: Explaining Relaxed Memory Models with Program Transformations. In: FM 2016: Formal Methods, S. 479 - 495 (Hg. Fitzgerald, J.; Heitmeyer, C.; Gnesi, S.; Philippou, A.). 21st International Symposium on Formal Methods, Limassol, Cyprus, 02. November 2016 - 11. November 2016. Springer, Berlin (2016)

He, M.; Vafeiadis, V.; Qin, S.: Reasoning about Fences and Relaxed Atomics. In: PDP 2016, S. 520 - 527. 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Heraklion Crete, Greece, 17. Februar 2016 - 19. Februar 2016. IEEE, Piscataway, NJ (2016)

Acar, Y.; Backes, M.; Bugiel, S.; Fahl, S.; McDaniel, P.; Smith, M.: SoK: Lessons Learned From Android Security Research For Appified Software Platforms. In: IEEE Symposium on Security and Privacy, S. 433 - 451. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, 23. Mai 2016 - 25. Mai 2016. IEEE, Piscataway, NJ (2016)

Acar, Y.; Backes, M.; Fahl, S.; Kim, D.; Mazurek, M. L.; Stransky, C.: You Get Where You're Looking for: The Impact of Information Sources on Code Security. In: IEEE Symposium on Security and Privacy, S. 289 - 305. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, 23. Mai 2016 - 25. Mai 2016. IEEE, Piscataway, NJ (2016)

Aditya, P.; Sen, R.; Druschel, P.; Oh, S. J.; Benenson, R.; Fritz, M.; Schiele, B.; Bhattachariee, B.; Wu, T. T.: I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, S. 235 - 248. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, 25. Juni 2016 - 30. Juni 2016. ACM, New York, NY (2016)

Babaei, M.; Grabowicz, P.; Valera, I.; Gummadi, K. P.; Gomez Rodriguez, M.: On the Efficiency of the Information Networks in Social Media. In: WSDM'16, S. 82 - 93. 9th ACM International Conference on Web Search and Data Mining, San Francisco, CA, USA, 22. Februar 2016 - 25. Februar 2016. ACM, New York, NY (2016)

Backes, M.; Berrang, P.; Goga, O.; Gummadi, K. P.; Manoharan, P.: On Profile Linkability despite Anonymity in Social Media Systems. In: WPES'16, S. 25 - 35. ACM Workshop on Privacy in the Electronic Society, Vienna, Austria, 24. Oktober 2016. ACM, New York, NY (2016)

Backes, M.; Berrang, P.; Hecksteden, A.; Humbert, M.; Keller, A.; Meyer, T.: Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles. In: Proceedings of the 25th USENIX Security Symposium, S. 1223 - 1240. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)