Backes, M.; Hritcu, C.; Maffei, M.: Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. In: 21st IEEE Computer Security Foundations Symposium: CSF 2008 ; proceedings, S. 195 - 209 (Hg. Kawada, S.). IEEE Computer Society, Los Alamitos, Ca. (2008)

Backes, M.; Hritcu, C.; Maffei, M.: Type-checking zero-knowledge. In: CCS’08: Proceedings of the 15th ACM Conference on Computer and Communications Security, S. 357 - 370 (Hg. Ning, P.; Syverson, P.; Jha, S.). ACM, New York, NY (2008)

Backes, M.; Köpf, B.: Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. In: Computer Security – ESORICS 2008: 13th European Symposium on Research in Computer Security, S. 517 - 532 (Hg. Jajodia, S.; López, J.). Springer, Berlin (2008)

Backes, M.; Lorenz, S.; Maffei, M.; Pecina, K.: The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. In: Computer Aided Verification: 20th International Conference, CAV 2008, S. 419 - 422 (Hg. Gupta, A.; Malik, S.). Springer, Berlin (2008)

Backes, M.; Maffei, M.; Unruh, D.: Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. In: Proceedings of the 2008 IEEE Symposium on Security and Privacy, S. 202 - 215 (Hg. Werner, B.). IEEE, Piscataway, NJ (2008)

Backes, M.; Unruh, D.: Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. In: 21st IEEE Computer Security Foundations Symposium: CSF 2008 ; proceedings, S. 255 - 269 (Hg. Kawada, S.). IEEE Computer Society, Los Alamitos, Ca. (2008)

Backes, M.; Unruh, D.: Limits of Constructive Security Proofs. In: Advances in Cryptology - ASIACRYPT 2008: 14th International Conference on the Theory and Application of Cryptology and Information Security, S. 290 - 307 (Hg. Pieprzyk, J.). Springer, Berlin (2008)

Cha, M.; Mislove, A.; Adams, B.; Gummadi, K. P.: Characterizing Social Cascades in Flickr. In: Compilation E-Proceedings of the SIGCOMM 2008 Conference & the co-located workshops: WOSN'08 Proceedings, S. 13 - 18. ACM, New York, NY (2008)

Cha, M.; Rodriguez, P.; Crowcroft, J.; Moon, S.; Amatrianin, X.: Watching Television Over an IP Network. In: IMC’08: proceedings of the 2008 ACM SIGCOMM Internet Measurement Conference, S. 71 - 84. ACM, New York, NY (2008)

Cha, M.; Rodriguez, P.; Moon, S.; Crowcroft, J.: On Next-Generation Telco-Managed P2P TV Architectures. In: 7th International Workshop on Peer-to-Peer Systems (IPTPS2008), S. 475 - 505. ACM, New York, NY, USA (2008)

Cook, B.; Gulwani, S.; Lev-Ami, T.; Rybalchenko, A.; Sagiv, M.: Proving Conditional Termination. In: Computer Aided Verification: 20th International Conference, CAV 2008, S. 328 - 340 (Hg. Gupta, A.; Malik, S.). Springer, New York, USA (2008)

Dischinger, M.; Haeberlen, A.; Beschastnikh, I.; Gummadi, K. P.; Saroiu, S.: SatelliteLab: Adding Heterogeneity to Planetary-Scale Testbeds. In: SIGCOMM 2008, S. 315 - 326. ACM, New York, NY (2008)

Dischinger, M.; Mislove, A.; Haeberlen, A.; Gummadi, K. P.: Detecting BitTorrent Blocking. In: IMC’08: proceedings of the 2008 ACM SIGCOMM Internet Measurement Conference, S. 3 - 8. ACM, New York, NY (2008)

Dreyer, D.; Rossberg, A.: Mixin' Up the ML Module System. In: ICFP’08: proceedings of the 2008 SIGPLAN International Conference on Functional Programming, S. 307 - 320. ACM, New York, NY (2008)

Ford, B.; Iyengar, J.: Breaking Up the Transport Logjam. In: Seventh ACM Workshop on Hot Topics in Networks (HotNets-VII), S. 15.1 - 6. ACM, New York, NY (2008)

Gupta, A.; Henzinger, T. A.; Majumdar, R.; Rybalchenko, A.; Xu, R.-G.: Proving non-termination. In: POPL’08: proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 147 - 158 (Hg. Necula, G. C.; Wadler, P.). ACM, New York, NY (2008)

Haeberlen, A.; Rodrigues, R.; Gummadi, K. P.; Druschel, P.: Pretty Good Packet Authentication. In: HotDep '08: 4th Workshop on Hot Topics in System Dependability, S. 1 - 5. USENIX, Berkeley, CA (2008)

Podelski, A.; Rybalchenko, A.; Wies, T.: Heap Assumptions on Demand. In: Computer Aided Verification: 20th International Conference, CAV 2008, S. 314 - 327 (Hg. Gupta, A.; Malik, S.). Springer, New York, USA (2008)

Rossberg, A.: Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), S. 313 - 336 (Hg. Bauer, A.; Mislove, M.). Elsevier, New York, USA (2008)

Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Characterizing Residential Broadband Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, S. 43 - 56. ACM, New York, USA (2007)