Scientific Publications
Journal Article (10)
1.
Journal Article
2, e87 (2016)
OSoMe: The IUNI Observatory on Social Media. PeerJ Computer Science 2.
Journal Article
41 (2), pp. 16 - 21 (2016)
Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. ;login 3.
Journal Article
39 (1), pp. 81 - 92 (2016)
Geo-Replication: Fast If Possible, Consistent If Necessary. Bulletin of the Technical Committee on Data Engineering 4.
Journal Article
63 (1), 10 (2016)
Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM 5.
Journal Article
17, 90, pp. 1 - 29 (2016)
Estimating Diffusion Networks: Recovery Conditions, Sample Complexity and Soft-thresholding Algorithm. Journal of Machine Learning Research 6.
Journal Article
34 (2), 9, pp. 1 - 33 (2016)
Influence Estimation and Maximization in Continuous-Time Diffusion Networks. ACM Transactions on Information Systems 7.
Journal Article
2016 (4), pp. 436 - 453 (2016)
Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network. Proceedings on Privacy Enhancing Technologies 8.
Journal Article
26 (1), pp. 5 - 32 (2016)
Supervisory Control Synthesis for Deterministic Context Free Specification Languages. Discrete Event Dynamic Systems 9.
Journal Article
28 (2), pp. 354 - 381 (2016)
Infinite Continuous Feature Model for Psychiatric Comorbidity Analysis. Neural Computation 10.
Journal Article
38 (9), pp. 1816 - 1828 (2016)
Infinite Factorial Unbounded-State Hidden Markov Model. IEEE Transactions on Pattern Analysis and Machine Intelligence Book Chapter (1)
11.
Book Chapter
From Zoos to Safaris -- From Closed-World Enforcement to Open-World Assessment of Privacy. In: Foundations of Security Analysis and Design VIII, pp. 87 - 138 (Eds. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)
Proceedings (1)
12.
Proceedings
POPL'16. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 2015. ACM, New York, NY (2016), XVI, 817 pp.
Conference Paper (73)
13.
Conference Paper
Explaining Relaxed Memory Models with Program Transformations. In: FM 2016: Formal Methods, pp. 479 - 495 (Eds. Fitzgerald, J.; Heitmeyer, C.; Gnesi, S.; Philippou, A.). 21st International Symposium on Formal Methods, Limassol, Cyprus, November 02, 2016 - November 11, 2016. Springer, Berlin (2016)
14.
Conference Paper
Reasoning about Fences and Relaxed Atomics. In: PDP 2016, pp. 520 - 527. 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Heraklion Crete, Greece, February 17, 2016 - February 19, 2016. IEEE, Piscataway, NJ (2016)
15.
Conference Paper
SoK: Lessons Learned From Android Security Research For Appified Software Platforms. In: IEEE Symposium on Security and Privacy, pp. 433 - 451. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, May 23, 2016 - May 25, 2016. IEEE, Piscataway, NJ (2016)
16.
Conference Paper
You Get Where You're Looking for: The Impact of Information Sources on Code Security. In: IEEE Symposium on Security and Privacy, pp. 289 - 305. 37th IEEE Symposium on Security and Privacy, San Jose, CA, USA, May 23, 2016 - May 25, 2016. IEEE, Piscataway, NJ (2016)
17.
Conference Paper
I-Pic: A Platform for Privacy-Compliant Image Capture. In: MobiSys'16, pp. 235 - 248. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, June 25, 2016 - June 30, 2016. ACM, New York, NY (2016)
18.
Conference Paper
On the Efficiency of the Information Networks in Social Media. In: WSDM'16, pp. 82 - 93. 9th ACM International Conference on Web Search and Data Mining, San Francisco, CA, USA, February 22, 2016 - February 25, 2016. ACM, New York, NY (2016)
19.
Conference Paper
On Profile Linkability despite Anonymity in Social Media Systems. In: WPES'16, pp. 25 - 35. ACM Workshop on Privacy in the Electronic Society, Vienna, Austria, October 24, 2016. ACM, New York, NY (2016)
20.
Conference Paper
Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles. In: Proceedings of the 25th USENIX Security Symposium, pp. 1223 - 1240. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)