Wissenschaftliche Publikationen

Zeitschriftenartikel (3)

1.
Zeitschriftenartikel
Druschel, P.: Narrowing the semantic gap in distributed programming. Communications of the ACM 52 (11), S. 86 - 86 (2009)
2.
Zeitschriftenartikel
Cha, M.; Kwak, H.; Rodriguez, P.; Ahn, Y.-Y.; Moon, S.: Analyzing the video popularity characteristics of large-scale user generated content systems. IEEE ACM Transactions on Networking 17 (5), S. 1357 - 1370 (2009)
3.
Zeitschriftenartikel
Fonseca, P.; Rodrigues, R.; Gupta, A.; Liskov, B.: Full-information lookups for peer-to-peer overlays. IEEE Transactions on Parallel and Distributed Systems 20 (9), S. 1339 - 1351 (2009)

Konferenzband (2)

4.
Konferenzband
Backes, M.; Ning, P. (Hg.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, 21. September 2009 - 23. September 2009. Springer, Berlin (2009), XVI, 706 S.
5.
Konferenzband
Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Hg.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, 18. August 2009 - 23. August 2009. Springer, Berlin (2009), XIII, 367 S.

Konferenzbeitrag (30)

6.
Konferenzbeitrag
Ahmed, A.; Dreyer, D.; Rossberg, A.: State-dependent representation independence. In: POPL’09 Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 340 - 353. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, Georgia, 21. Januar 2009 - 23. Januar 2009. ACM, New York, NY (2009)
7.
Konferenzbeitrag
Antunas, G.; Barateiro, J.; Cabral, M.; Borbinha, J.; Rodrigues, R.: Preserving digital data in heterogeneous environments. In: JCDL’09: proceedings of the 2009 ACM/IEEE Joint Conference on Digital Libraries, S. 345 - 348. 2009 ACM/IEEE Joint Conference on Digital Libraries (JCDL'09), Austin, Texas, 15. Juni 2009 - 19. Juni 2009. ACM, New York, NY (2009)
8.
Konferenzbeitrag
Backes, M.; Chen, T.; Dürmuth, M.; Lensch, H. P. A.; Welk, M.: Tempest in a teapot: compromising reflections revisited. In: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy, S. 315 - 327. 30th IEEE Symposium on Security and Privacy, Berkeley, CA, 17. Mai 2009 - 20. Mai 2009. IEEE Computer Society, Los Alamitos, CA (2009)
9.
Konferenzbeitrag
Backes, M.; Druschel, P.; Haeberlen, A.; Unruh, D.: CSAR: A Practical and Probable Technique to Make Randomized Systems Accountable. In: 2009 Network and Distributed System Security Symposium, S. 341 - 353. 16th Annual Network and Distributed System Security Symposium, San Diego, CA, USA, 08. Februar 2009 - 11. Februar 2009. Internet Society, Reston, VA (2009)
10.
Konferenzbeitrag
Backes, M.; Grochulla, M. P.; Hritcu, C.; Maffei, M.: Achieving security despite compromise using zero-knowledge. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium: CSF 2009, S. 308 - 323. 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, NY, 08. Juli 2009 - 10. Juli 2009. IEEE Computer Society, Los Alamitos, CA (2009)
11.
Konferenzbeitrag
Backes, M.; Hamerlik, M.; Linari, A.; Maffei, M.; Tryfonopoulos, C.; Weikum, G.: Anonymity and censorship resistance in unstructured overlay networks. In: On the Move to Meaningful Internet Systems: OTM 2009: proceedings. - Part I, S. 147 - 164 (Hg. Meersman, R.; Dillon, T.; Herrero, P.). Confederated International Conferences CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, 01. November 2009 - 06. November 2009. Springer, Berlin (2009)
12.
Konferenzbeitrag
Backes, M.; Hofheinz, D.; Unruh, D.: CoSP: a general framework for computational soundness proofs. In: CCS'09: Proceedings of the 16th ACM Conference on Computer and Communications Security, S. 66 - 78. 16th ACM Conference on Computer and Communications Security, Chicago, Ill., 09. November 2009 - 13. November 2009. ACM, New York, NY (2009)
13.
Konferenzbeitrag
Backes, M.; Köpf, B.; Rybalchenko, A.: Automatic discovery and quantification of information leaks. In: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy, S. 141 - 153. 30th IEEE Symposium on Security and Privacy, Berkeley, CA, 17. Mai 2009 - 20. Mai 2009. IEEE Computer Society, Los Alamitos, CA (2009)
14.
Konferenzbeitrag
Benevenuto, F.; Rodrigues, T.; Cha, M.; Almeida, V.: Characterizing user behavior in online social networks. In: IMC’09 Proceedings of the 2009 ACM SIGCOMM Internet Measurement Conference, S. 49 - 62. 2009 ACM SIGCOMM Internet Measurement Conference, Chicago, Ill., 04. November 2009 - 06. November 2009. ACM, New York, NY (2009)
15.
Konferenzbeitrag
Cha, M.; Mislove, A.; Gummadi, K. P.: A measurement-driven analysis of information propagation in the flickr social network. In: WWW’09: proceedings of the 18th International World Wide Web Conference, S. 721 - 730. 18th International World Wide Web Conference (WWW 2009), Madrid, 20. April 2009 - 24. April 2009. ACM, New York, NY (2009)
16.
Konferenzbeitrag
Cha, M.; Navarro Perez, J. A.; Haddadi, H.: Flash floods and ripples: The spread of media content through the blogosphere. In: ICWSM 2009 Data Challenge Workshop, S. 1 - 8. 3rd International AAAI Conference on Weblogs and Social Media, San Jose, CA, 17. Mai 2009 - 20. Mai 2009. AAAI, Menlo Park, CA (2009)
17.
Konferenzbeitrag
Cook, B.; Gupta, A.; Magill, S.; Rybalchenko, A.; Simsa, J.; Singh, S.; Vafeiadis, V.: Finding heap-bounds for hardware synthesis. In: Proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design FMCAD 2009, S. 205 - 212 (Hg. Hung, W. N. N.). FMCAD 2009, Austin, Texas, 15. November 2009 - 18. November 2009. IEEE, Piscataway, NJ (2009)
18.
Konferenzbeitrag
Dreyer, D.; Ahmed, A.; Birkedal, L.: Logical step-indexed logical relations. In: 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) proceedings, S. 71 - 80. 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), Los Angelos, CA, 11. August 2009 - 14. August 2009. IEEE Computer Society, Los Alamitos, CA (2009)
19.
Konferenzbeitrag
Ford, B.; Iyengar, J.: Efficient cross-layer negotiation. In: Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), 123, S. 1 - 6. Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), New York, NY, 22. Oktober 2009 - 23. Oktober 2009. ACM, New York, NY (2009)
20.
Konferenzbeitrag
Freitas, F.; Marques, E.; Rodrigues, R.; Ribeiro, C.; Ferreira, P.; Rodrigues, L.: Verme: Worm containment in overlay networks. In: Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), S. 155 - 164 (Hg. Carvalho, P.; Craveiro, J.; Kaaniche, M.; Reiser, H. P.). 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Estoril, Lisboa, 29. Juni 2009 - 02. Juli 2009. IEEE Computer Society, Los Alamitos, CA (2009)
Zur Redakteursansicht