Conference Paper (938)
881.
Conference Paper
Light-weight Contexts: An OS Abstraction for Safety and Performance. In: 12th USENIX Symposium on Operating Systems Design and Implementation, pp. 49 - 64. 12th USENIX Symposium on Operating Systems Design and Implementation, Savannah, GA, USA, November 02, 2016 - November 04, 2016. USENIX, s.l. (2016)
882.
Conference Paper
How to Make ASLR Win the Clone Wars: Runtime Re-Randomization. In: Proceedings of the 23rd Annual Symposium on Network and Distributed System Security. 23rd Annual Symposium on Network and Distributed System Security, San Diego, CA, USA, February 21, 2016 - February 24, 2016. Internet Society, Reston, VA (2016)
883.
Conference Paper
What Cannot be Read, Cannot be Leveraged? Revisiting Assumptions of JIT-ROP Defenses. In: Proceedings of the 25th USENIX Security Symposium, pp. 139 - 156. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)
884.
Conference Paper
Partial Order Reduction for Event-Driven Multi-threaded Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 680 - 697 (Eds. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, April 02, 2016 - April 08, 2016. Springer, Berlin (2016)
885.
Conference Paper
Robots at the Edge of the Cloud. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 3 - 13 (Eds. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, April 02, 2016 - April 08, 2016. Springer, Berlin (2016)
886.
Conference Paper
Computing Distances between Reach Flowpipes. In: HSCC'16, pp. 267 - 276. 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, April 12, 2016 - April 14, 2016. ACM, New York, NY (2016)
887.
Conference Paper
Supervisory Controller Synthesis for Decomposable Deterministic Context Free Specification Languages. In: Proceedings of the 13th International Workshop on Discrete Event Systems, pp. 22 - 27. 13th International Workshop on Discrete Event Systems, Xi'an, China, May 30, 2016 - June 01, 2016. IEEE, Piscataway, NJ (2016)
888.
Conference Paper
On the Problem of Finding Optimal Harmonic Periods. In: 24th International Conference on Real-Time Networks and Systems, pp. 171 - 180. 24th International Conference on Real-Time Networks and Systems, Brest, France, October 19, 2016 - October 21, 2016. ACM, New York, NY (2016)
889.
Conference Paper
Forgetting in Social Media: Understanding and Controlling Longitudinal Exposure of Socially Shared Data. In: Twelfth Symposium on Usable Privacy and Security, pp. 287 - 300. 12th Symposium on Usable Privacy and Security, Denver, CO, USA, June 22, 2016 - June 24, 2016. USENIX, Berkeley, CA (2016)
890.
Conference Paper
Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic. In: 24th International Conference on Real-Time Networks and Systems, pp. 161 - 170. 24th International Conference on Real-Time Networks and Systems, Brest, France, October 19, 2016 - October 21, 2016. ACM, New York, NY (2016)
891.
Conference Paper
Oblivious Multi-Party Machine Learning on Trusted Processors. In: Proceedings of the 25th USENIX Security Symposium, pp. 619 - 636. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)
892.
Conference Paper
On Modular and Fully-Abstract Compilation. In: CSF 2016, pp. 17 - 30. 29th Computer Security Foundations Symposium, Lisbon, Portugal, June 27, 2016 - July 01, 2016. IEEE, Piscataway, NJ (2016)
893.
Conference Paper
Causally Consistent Dynamic Slicing. In: 27th International Conference on Concurrency Theory, 18, pp. 1 - 16. 27th International Conference on Concurrency Theory, Québec City, Canada, August 23, 2016 - August 26, 2016. Schloss Dagstuhl, Wadern (2016)
894.
Conference Paper
Progress-Sensitive Security for SPARK. In: Engineering Secure Software and Systems, pp. 20 - 37. 8th International Symposium on Engineering Secure Software and Systems , London, UK, April 06, 2016 - April 08, 2016. Springer, Berlin (2016)
895.
Conference Paper
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. In: CSF 2016, pp. 150 - 163. 29th Computer Security Foundations Symposium, Lisbon, Portugal, June 27, 2016 - July 01, 2016. IEEE, Piscataway, NJ (2016)
896.
Conference Paper
Improved MHP Analysis. In: Proceedings of CC 2016, pp. 207 - 217. The 25th International Conference on Compiler Construction, Barcelona, Spain, March 17, 2016 - March 18, 2016. ACM, New York, NY (2016)
897.
Conference Paper
Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments. In: CCS'16, pp. 1192 - 1203. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October 24, 2016 - October 28, 2016. ACM, New York, NY (2016)
898.
Conference Paper
Analyzing the Targets of Hate in Online Social Media. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, pp. 687 - 690. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2016)
899.
Conference Paper
Hey, You Have a Problem: On the Feasibility of Large-Scale Web Vulnerability Notification. In: Proceedings of the 25th USENIX Security Symposium, pp. 1015 - 1032. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)
900.
Conference Paper
Strengthening Weak Identities Through Inter-Domain Trust Transfer. In: WWW'16, pp. 1249 - 1259. 25th International Conference on World Wide Web , Montréal, Canada, May 11, 2016 - May 15, 2016. ACM, New York, NY (2016)