Konferenzbeitrag (913)
861.
Konferenzbeitrag
Causally Consistent Dynamic Slicing. In: 27th International Conference on Concurrency Theory, 18, S. 1 - 16. 27th International Conference on Concurrency Theory, Québec City, Canada, 23. August 2016 - 26. August 2016. Schloss Dagstuhl, Wadern (2016)
862.
Konferenzbeitrag
Progress-Sensitive Security for SPARK. In: Engineering Secure Software and Systems, S. 20 - 37. 8th International Symposium on Engineering Secure Software and Systems , London, UK, 06. April 2016 - 08. April 2016. Springer, Berlin (2016)
863.
Konferenzbeitrag
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. In: CSF 2016, S. 150 - 163. 29th Computer Security Foundations Symposium, Lisbon, Portugal, 27. Juni 2016 - 01. Juli 2016. IEEE, Piscataway, NJ (2016)
864.
Konferenzbeitrag
Improved MHP Analysis. In: Proceedings of CC 2016, S. 207 - 217. The 25th International Conference on Compiler Construction, Barcelona, Spain, 17. März 2016 - 18. März 2016. ACM, New York, NY (2016)
865.
Konferenzbeitrag
Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments. In: CCS'16, S. 1192 - 1203. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, 24. Oktober 2016 - 28. Oktober 2016. ACM, New York, NY (2016)
866.
Konferenzbeitrag
Analyzing the Targets of Hate in Online Social Media. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, S. 687 - 690. 10th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2016)
867.
Konferenzbeitrag
Hey, You Have a Problem: On the Feasibility of Large-Scale Web Vulnerability Notification. In: Proceedings of the 25th USENIX Security Symposium, S. 1015 - 1032. 25th USENIX Security Symposium, Austin, TX, USA, 10. August 2016 - 12. August 2016. USENIX Association, Berkeley, CA (2016)
868.
Konferenzbeitrag
Strengthening Weak Identities Through Inter-Domain Trust Transfer. In: WWW'16, S. 1249 - 1259. 25th International Conference on World Wide Web , Montréal, Canada, 11. Mai 2016 - 15. Mai 2016. ACM, New York, NY (2016)
869.
Konferenzbeitrag
SandPrint: Fingerprinting Malware Sandboxes to Provide Intelligence for Sandbox Evasion. In: Research in Attacks, Intrusions, and Defenses, S. 165 - 187 (Hg. Monrose, F.; Dacier, M.; Blanc, G.; Garcia-Alfaro, J.). 19th International Symposium on Research in Attacks, Intrusions, and Defenses, Paris, France, 19. September 2016 - 21. September 2016. Springer, Berlin (2016)
870.
Konferenzbeitrag
On the Wisdom of Experts vs. Crowds: Discovering Trustworthy Topical News in Microblogs. In: CSCW '16, S. 438 - 451. 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing, San Francisco, CA, USA, 27. Februar 2016 - 02. März 2016. ACM, New York, NY (2016)
871.
Konferenzbeitrag
Message Impartiality in Social Media Discussions. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, S. 466 - 475. 10th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2016)
872.
Konferenzbeitrag
A Type Theory for Incremental Computational Complexity with Control Flow Changes. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programmin, S. 132 - 145. 21th ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18. September 2016 - 22. September 2016. ACM, New York, NY (2016)
873.
Konferenzbeitrag
Proving Lock-freedom Easily and Automatically. In: CPP'15, S. 119 - 127. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, 13. Januar 2015 - 14. Januar 2015. ACM, New York, NY (2015)
874.
Konferenzbeitrag
Formal Reasoning about the C11 Weak Memory Model. In: CPP'15, S. 1 - 2. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, 15. Januar 2015 - 17. Januar 2015. ACM, New York, NY (2015)
875.
Konferenzbeitrag
On the Users' Efficiency in the Twitter Information Network. In: Proceedings of the Ninth International Conference on Web and Social Media, S. 570 - 573 (Hg. Quercia, D.). 9th International Conference on Web and Social Media, Oxford, UK, 26. Mai 2015 - 29. Mai 2015. AAAI Press, Palo Alto, CA (2015)
876.
Konferenzbeitrag
iThreads: A Threading Library for Parallel Incremental Computation. In: ASPLOS XX, S. 645 - 659. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Instanbul, Turkey, 14. März 2015 - 18. März 2015. ACM, New York, NY (2015)
877.
Konferenzbeitrag
Can Trending News Stories Create Coverage Bias? On the Impact of High Content Churn in Online News Media. In: Computation and Journalism Symposium. Computation and Journalism Symposium, New York, NY, USA, 02. Oktober 2015 - 03. Oktober 2015. (2015)
878.
Konferenzbeitrag
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 320 - 332 (Hg. Baier, C.; Tinelli, C.). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)
879.
Konferenzbeitrag
The Many Shades of Anonymity: Characterizing Anonymous Social Media Content. In: Proceedings of the 9th International AAAI Conference on Web and Social Media. 9th International AAAI Conference on Web and Social Media, Oxford, UK, 25. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2015)
880.
Konferenzbeitrag
Program Actions as Actual Causes: A Building Block for Accountability. In: CSF 2015, S. 261 - 275. 28th Computer Security Foundations Symposium, Verona, Italy, 13. Juli 2015 - 17. Juli 2015. IEEE, Piscataway, NJ (2015)