Backes, M.; Holz, T.; Rossow, C.; Rytilahti, T.; Simeonovski, M.; Stock, B.: On the Feasibility of TTL-Based Filtering for DRDoS Mitigation. In: Research in Attacks, Intrusions, and Defenses, pp. 303 - 322 (Eds. Monrose, F.; Dacier, M.; Blanc, G.; Garcia-Alfaro, J.). 19th International Symposium on Research in Attacks, Intrusions, and Defenses, Paris, France, September 19, 2016 - September 21, 2016. Springer, Berlin (2016)

Backes, M.; Künnemann, R.; Mohammadi, E.: Computational Soundness for Dalvik Bytecode. In: CCS'16, pp. 717 - 730. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October 24, 2016 - October 28, 2016. ACM, New York, NY (2016)

Backes, M.; Meiser, S.; Schröder, D.: Delegatable Functional Signatures. In: Public-Key Cryptography -- PKC 2016, pp. 357 - 386 (Eds. Cheng, C.-M.; Chung, K.-M.; Persiano, G.; Yang, B.-Y.). 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 06, 2016 - March 09, 2016. Springer, Berlin (2016)

Biega, J. A.; Gummadi, K.; Mele, I.; Milchevski, D.; Tryfonopoulos, C.; Weikum, G.: R-Susceptibility: An IR-Centric Approach to Assessing Privacy Risks for Users in Online Communities. In: SIGIR'16, pp. 365 - 374. 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, Pisa, Italy, July 17, 2016 - July 21, 2016. ACM, New York, NY (2016)

Biondi, A.; Brandenburg, B.: Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors. In: The 28th Euromicro Conference on Real-Time Systems, pp. 39 - 49. 28th Euromicro Conference on Real-Time Systems , Toulouse, France, July 05, 2016 - July 08, 2016. IEEE, Piscataway, NJ (2016)

Biondi, A.; Brandenburg, B.; Wieder, A.: A Blocking Bound for Nested FIFO Spin Locks. In: IEEE 37th Real-Time Systems Symposium, pp. 291 - 302. IEEE 37th Real-Time Systems Symposium, Porto, Portugal, November 29, 2016 - December 02, 2016. IEEE Computer Society, Los Alamitos, CA (2016)

Boloşteanu, I.; Garg, D.: Asymmetric Secure Multi-execution with Declassification. In: Principles of Security and Trust, pp. 24 - 45. 6th Conference on Principles of Security and Trust, Uppsala, Sweden, April 22, 2016 - April 29, 2016. Springer, Berlin (2016)

Bonifaci, V.; Brandenburg, B.; D'Angelo, G.; Marchetti-Spaccamela, A.: Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities. In: The 28th Euromicro Conference on Real-Time Systems, pp. 237 - 247. 28th Euromicro Conference on Real-Time Systems , Toulouse, France, July 05, 2016 - July 08, 2016. IEEE, Piscataway, NJ (2016)

Brandenburg, B.; Gül, M.: Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations. In: IEEE 37th Real-Time Systems Symposium, pp. 99 - 110. IEEE 37th Real-Time Systems Symposium, Porto, Portugal, November 29, 2016 - December 02, 2016. IEEE Computer Society, Los Alamitos, CA (2016)

Brengel, M.; Backes, M.; Rossow, C.: Detecting Hardware-Assisted Virtualization. In: Detection of Intrusions and Malware, and Vulnerability Assessment, pp. 207 - 227 (Eds. Caballero, J.; Zurutuza, U.; Rodriguez, R. J.). 13th International Conference on Detection of Intrusions and Malware and Vulnerability Assessment, Donostia-San Sebastián, Spain, July 07, 2016 - July 08, 2016. Springer, Berlin (2016)

Cerqueira, F.; Stutz, F.; Brandenburg, B.: PROSA: A Case for Readable Mechanized Schedulability Analysis. In: The 28th Euromicro Conference on Real-Time Systems, pp. 273 - 284. 28th Euromicro Conference on Real-Time Systems , Toulouse, France, July 05, 2016 - July 08, 2016. IEEE, Piscataway, NJ (2016)

Chakraborty, S.; Vafeiadis, V.: Taming Release-acquire Consistency. In: POPL'16, pp. 649 - 662 (Eds. Bodik, R.; Majumdar, R.). 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 2015. ACM, New York, NY (2016)

Chakraborty, S.; Vafeiadis, V.: Validating Optimizations of Concurrent C/C++ Programs. In: CGO'16, pp. 216 - 226. 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization , Barcelona, Spain, March 12, 2016 - March 18, 2016. ACM, New York, NY (2016)

Chistikov, D.; Majumdar, R.; Niksic, F.: Hitting Families of Schedules for Asynchronous Programs. In: Computer Aided Verification, pp. 157 - 176 (Eds. Chaudhuri, S.; Farzan, A.). 28th International Conference on Computer-Aided Verification, Toronto, Canada, July 17, 2016 - July 23, 2016. Springer, Berlin (2016)

De, A.; Valera, I.; Ganguly, N.; Bhattacharya, S.; Gomez Rodriguez, M.: Learning and Forecasting Opinion Dynamics in Social Networks. In: Advances in Neural Information Processing Systems 29. Thirtieth Annual Conference on Neural Information Processing Systems, Barcelona, Spain, December 05, 2016 - December 10, 2016. (2016)

Deininger, D.; Dimitrova, R.; Majumdar, R.: Symbolic Model Checking for Factored Probabilistic Models. In: Automated Technology for Verification and Analysis, pp. 444 - 460 (Eds. Artho, C.; Legay, A.; Peled, D.). 14th International Symposium on Automated Technology for Verification and Analysis, Chiba, Japan, October 17, 2016 - October 22, 2016. Springer, Berlin (2016)

Dimitrova, R.; Ferrer Fioriti, L. M.; Hermanns, H.; Majumdar, R.: Probabilistic CTL*: The Deductive Way. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 280 - 296 (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)

Doko, M.; Vafeiadis, V.: A Program Logic for C11 Memory Fences. In: Verification, Model Checking, and Abstract Interpretation, pp. 413 - 430 (Eds. Jobstmann, B.; Leino, K. R. M.). 17th International Conference on Verification, Model Checking, and Abstract Interpretation, St. Petersburg, FL, USA, January 17, 2016 - January 19, 2016. Springer, Berlin (2016)

Du, N.; Dai, H.; Trivedi, R.; Upadhyay, U.; Gomez Rodriguez, M.; Song, L.: Recurrent Marked Temporal Point Processes: Embedding Event History to Vector. In: KDD'16, pp. 1555 - 1564. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13, 2016 - August 17, 2016. ACM, New York, NY (2016)

Elnikety, E.; Mehta, A.; Vahldiek-Oberwagner, A.; Garg, D.; Druschel, P.: Thoth: Comprehensive Policy Compliance in Data Retrieval Systems. In: Proceedings of the 25th USENIX Security Symposium, pp. 637 - 654. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)