Konferenzbeitrag (933)
581.
Konferenzbeitrag
A Comprehensive Quality Evaluation of Security and Privacy Advice on the Web. In: Proceedings of the 29th USENIX Security Symposium, S. 89 - 100. 29th USENIX Security Symposium, Virtual Event, 12. August 2020 - 14. August 2020. USENIX (2020)
582.
Konferenzbeitrag
Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. In: 32nd Euromicro Conference on Real-Time Systems, 6, S. 1 - 23 (Hg. Völp, M.). 32nd Euromicro Conference on Real-Time Systems, Virtual Conference, 07. Juli 2020 - 10. Juli 2020. Schloss Dagstuhl, Wadern (2020)
583.
Konferenzbeitrag
Learning Interpretable Models in the Property Specification Language. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, S. 2213 - 2219 (Hg. Bessiere, C.). Twenty-Ninth International Joint Conference on Artificial Intelligence, Yokohama, Japan (Virtual), 07. Januar 2021 - 15. Januar 2021. IJCAI (2020)
584.
Konferenzbeitrag
Annulus: A Dual Congestion Control Loop for Datacenter and WAN Traffic Aggregates. In: SIGCOMM '20, S. 735 - 749. Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, Virtual Event, NY, USA, 10. August 2020 - 14. August 2020. ACM, New York, NY (2020)
585.
Konferenzbeitrag
Resilient Abstraction-Based Controller Design. In: 59th IEEE Conference on Decision and Control, S. 2123 - 2129. 59th IEEE Conference on Decision and Control, Virtual Event, 14. Dezember 2020 - 18. Dezember 2020. IEEE, Piscataway, NJ (2020)
586.
Konferenzbeitrag
Resilient Abstraction-based Controller Design. In: HSCC2020, 33, S. 1 - 2. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)
587.
Konferenzbeitrag
Minimizing Margin of Victory for Fair Political and Educational Districting. In: AAMAS'20, S. 1305 - 1313 (Hg. El Fallah Seghruchni, A.; Sukthankr, G.; An, B.; Yorke-Smith, N.). 19th International Conference on Autonomous Agents and MultiAgent Systems, Auckland, New Zealand (Virtual), 09. Mai 2020 - 13. Mai 2020. ACM, New York, NY (2020)
588.
Konferenzbeitrag
On the Design of Consequential Ranking Algorithms. In: Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence, 26, S. 171 - 180 (Hg. Peter, J.; Sontag, D.). 36th Conference on Uncertainty in Artificial Intelligence, Virtual Event, 03. August 2020 - 06. August 2020. MLR Press (2020)
589.
Konferenzbeitrag
Decisions, Counterfactual Explanations and Strategic Behavior. In: Advances in Neural Information Processing Systems 33, S. 16749 - 16760 (Hg. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, 06. Dezember 2020 - 12. Dezember 2020. Curran Associates, Inc. (2020)
590.
Konferenzbeitrag
Harvey: A Greybox Fuzzer for Smart Contracts. In: ESEC/FSE '20, S. 1398 - 1409 (Hg. Devanbu, P.; Cohen, M.; Zimmermann, T.). 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, 08. November 2020 - 13. November 2020. ACM, New York, NY (2020)
591.
Konferenzbeitrag
Targeted Greybox Fuzzing with Static Lookahead Analysis. In: ICSE 2020, S. 789 - 800. ACM/IEEE 42nd International Conference on Software Engineering, Seoul, South Korea, 27. Juni 2020 - 19. Juli 2020. ACM, New York, NY (2020)
592.
Konferenzbeitrag
Data Consistency in Transactional Storage Systems: A Centralised Semantics. In: 34th European Conference onObject-Oriented Programming, 21, S. 1 - 31 (Hg. Hirschfeld, R.; Pape, T.). 34th European Conference on Object-Oriented Programming, Berlin, Germany (Virtual Event), 15. November 2020 - 17. November 2020. Schloss Dagstuhl, Wadern (2020)
593.
Konferenzbeitrag
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks. In: ESEC/FSE '20, S. 800 - 812 (Hg. Devanbu, P.; Cohen, M.; Zimmermann, T.). 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, 08. November 2020 - 13. November 2020. ACM, New York, NY (2020)
594.
Konferenzbeitrag
Task-agnostic Exploration in Reinforcement Learning. In: Advances in Neural Information Processing Systems 33, S. 11734 - 11743 (Hg. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, 06. Dezember 2020 - 12. Dezember 2020. Curran Associates, Inc. (2020)
595.
Konferenzbeitrag
Adaptive Reward-Poisoning Attacks against Reinforcement Learning. In: Proceedings of the 37th International Conference on Machine Learning, S. 11225 - 11234 (Hg. Daumé, H.; Singh, A.). 37th International Conference on Machine Learning, Virtual Conference, 13. Juli 2020 - 18. Juli 2020. MLResearchPress (2020)
596.
Konferenzbeitrag
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In: CSF 2019, S. 256 - 271. 32nd Computer Security Foundations Symposium, Hoboken, NJ, USA, 25. Juni 2019 - 28. Juni 2019. IEEE, Piscataway, NJ (2019)
597.
Konferenzbeitrag
Loss-Aversively Fair Classification. In: AIES'19, S. 211 - 218. AAAI/ACM Conference on AI, Ethics, and Society, Honolulu, HI, USA, 27. Januar 2019 - 28. Januar 2019. ACM, New York, NY (2019)
598.
Konferenzbeitrag
The Semialgebraic Orbit Problem. In: 36th Symposium on Theoretical Aspects of Computer Science, 6, S. 1 - 15 (Hg. Niedermeier, R.; Paul, C.). 36th Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 13. März 2019 - 16. März 2019. Schloss Dagstuhl, Wadern (2019)
599.
Konferenzbeitrag
Evrostos: the rLTL verifier. In: HSCC '19, S. 218 - 223. 22nd ACM International Conference on Hybrid Systems, Montreal Quebec Canada, 2019-04. ACM, New York, NY (2019)
600.
Konferenzbeitrag
Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 139 - 139. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)