Konferenzbeitrag (918)
1141.
Konferenzbeitrag
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)
1142.
Konferenzbeitrag
Verifying liveness for asynchronous programs. In: POPL’09: proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 102 - 113. POPL'09, Savannah, GA, 21. Januar 2009 - 23. Januar 2009. ACM, New York, NY (2009)
1143.
Konferenzbeitrag
Serving ads from localhost for performance, privacy, and profit. In: Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), 27, 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)
1144.
Konferenzbeitrag
From tests to proofs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 262 - 276 (Hg. Kowalewski, S.; Philippou, A.). 15th International Conference, TACAS 2009, York, 22. März 2009 - 29. März 2009. Springer, Berlin (2009)
1145.
Konferenzbeitrag
InvGen: An efficient invariant generator. In: Computer Aided Verification: 21st International Conference, CAV 2009, S. 634 - 640 (Hg. Bouajjani, A.; Maler, O.). 21st International Conference, CAV 2009, Grenoble, 26. Juni 2009 - 02. Juli 2009. Springer, Berlin (2009)
1146.
Konferenzbeitrag
Not all adware is badware: Towards privacy-aware advertising. In: Software Services for e-Business and e-Society, S. 161 - 172 (Hg. Godart, C.; Gronau, N.; Sharma, S.; Canals, G.). 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, 23. September 2009 - 25. September 2009. Springer, Berlin (2009)
1147.
Konferenzbeitrag
NetReview: Detecting when interdomain routing goes wrong. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, S. 437 - 452. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, 22. April 2009 - 24. April 2009. USENIX, Berkeley, CA (2009)
1148.
Konferenzbeitrag
The fault detection problem. In: Principles of distributed systems, S. 99 - 114 (Hg. Abdelzaher, T.; Raynal, M.; Santoro, N.). 13th International Conference, OPODIS 2009, Nimes, 15. Dezember 2009 - 18. Dezember 2009. Springer, Berlin (2009)
1149.
Konferenzbeitrag
A provably secure and efficient countermeasure against timing attacks. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium CSF 2009, S. 324 - 335. 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, NY, 08. Juli 2009 - 10. Juli 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1150.
Konferenzbeitrag
Operational semantics for declarative networking. In: Practical Aspects of Declarative Languages, S. 76 - 90 (Hg. Gill, A.; Swift, T.). 11th International Symposium, PADL 2009, Savannah, GA, 19. Januar 2009 - 20. Januar 2009. Springer, Berlin (2009)
1151.
Konferenzbeitrag
Cardinality abstraction for declarative networking applications. In: Computer Aided Verification: 21st International Conference, CAV 2009, S. 584 - 598 (Hg. Bouajjani, A.; Maler, O.). 21st International Conference, CAV 2009, Grenoble, 26. Juni 2009 - 02. Juli 2009. Springer, Berlin (2009)
1152.
Konferenzbeitrag
Non-parametric parametricity. In: ICFP’09: proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming, S. 135 - 148. 2009 ACM SIGPLAN International Conference on Functional Programming, Edinburgh, 31. August 2009 - 02. September 2009. ACM, New York, NY (2009)
1153.
Konferenzbeitrag
Subsumer-First: Steering symbolic reachability analysis. In: Model Checking Software, S. 192 - 204 (Hg. Pasareanu, C. S.). 16th International SPIN Workshop, Grenoble, 26. Juni 2009 - 28. Juni 2009. Springer, Berlin (2009)
1154.
Konferenzbeitrag
Towards trusted cloud computing. In: Workshop on Hot Topics in Cloud Computing (HotCloud '09), S. 1 - 5. HotCloud 09 / Workshop on Hot Topics in Cloud Computing, San Diego, CA, 15. Juni 2009. USENIX, Berkeley, CA (2009)
1155.
Konferenzbeitrag
Zeno: Eventually consistent Byzantine fault tolerance. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, S. 169 - 184. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, 22. April 2009 - 24. April 2009. USENIX, Berkeley, CA (2009)
1156.
Konferenzbeitrag
On the evolution of user interaction in facebook. In: SIGCOMM 09: Proceedings of the 2009 SIGCOMM Conference and Co-Located Workshops MobiHeld’09, PRESTO’09, VISA’09, WOSN’09, & WREN’09, S. 37 - 42. 2nd ACM Workshop on Online Social Networks, Barcelon, 17. August 2009 - 21. August 2009. ACM, New York, NY (2009)
1157.
Konferenzbeitrag
A Formal Language for Cryptographic Pseudocode. In: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, S. 353 - 376 (Hg. Cervesato, I.; Veith, H.; Voronkov, A.). Springer, Berlin (2008)
1158.
Konferenzbeitrag
Compromising Reflections-or-How to Read LCD Monitors around the Corner. In: Proceedings of the 2008 IEEE Symposium on Security and Privacy, S. 158 - 169 (Hg. Werner, B.). IEEE, Piscataway, NJ (2008)
1159.
Konferenzbeitrag
OAEP Is Secure under Key-Dependent Messages. In: Advances in Cryptology - ASIACRYPT 2008: 14th International Conference on the Theory and Application of Cryptology and Information Security, S. 506 - 523 (Hg. Pieprzyk, J.). Springer, Berlin (2008)
1160.
Konferenzbeitrag
Anonymous and censorship resistant content sharing in unstructured overlays. In: PODC’08: Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing, S. 429 - 429 (Hg. Patt-Shamir, B.). ACM, New York, NY (2008)