D. Hofheinz and T. Jager, “Tightly secure signatures and public-key encryption,” Des. Codes Cryptography, no. 1, pp. 29--61, 2016.
LibreCat: /record/3112
DOI: 10.1007/s10623-015-0062-x

F. Heuer, T. Jager, S. Schäge, and E. Kiltz, “Selective opening security of practical public-key encryption schemes,” IET Information Security, no. 6, pp. 304--318, 2016.
LibreCat: /record/3113
DOI: 10.1049/iet-ifs.2015.0507

T. Jager and A. Rupp, “Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way,” PoPETs, no. 3, pp. 62--82, 2016.
LibreCat: /record/3114

D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, and M. Zhandry, “How to Generate and Use Universal Samplers,” in Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
LibreCat: /record/3115
DOI: 10.1007/978-3-662-53890-6_24

M. Horst, M. Grothe, T. Jager, and J. Schwenk, “Breaking PPTP VPNs via RADIUS Encryption,” in Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 2016, pp. 159--175.
LibreCat: /record/3116
DOI: 10.1007/978-3-319-48965-0_10

C. Bader, T. Jager, Y. Li, and S. Schäge, “On the Impossibility of Tight Cryptographic Reductions,” in Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
LibreCat: /record/3117
DOI: 10.1007/978-3-662-49896-5_10

D. Hofheinz, T. Jager, and A. Rupp, “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts,” in Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
LibreCat: /record/3118
DOI: 10.1007/978-3-662-53644-5_6

D. Hofheinz and T. Jager, “Verifiable Random Functions from Standard Assumptions,” in Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
LibreCat: /record/3119
DOI: 10.1007/978-3-662-49096-9_14

S. Beringer and H. Wehrheim, “Verification of AUTOSAR Software Architectures with Timed Automata,” in Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

O. Travkin and H. Wehrheim, “Verification of Concurrent Programs on Weak Memory Models,” in Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

G. Schellhorn, O. Travkin, and H. Wehrheim, “Towards a Thread-Local Proof Technique for Starvation Freedom,” in Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Opacity of a Pessimistic STM,” in 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

T. Isenberg, M.-Christine Jakobs, F. Pauck, and H. Wehrheim, “Deriving approximation tolerance constraints from verification runs,” CoRR, 2016.
LibreCat: /record/3161

T. Görzen and D. Kundisch, “Can the Crowd Substitute Experts in Evaluation of Creative Ideas? An Experimental Study Using Business Models,” in Proceedings of the 22nd Americas’ Conference on Information Systems (AMCIS), San Diego, USA, 2016.
LibreCat: /record/2699

T. Görzen and D. Kundisch, “Can the Crowd Substitute Experts in Evaluation of Creative Jobs? The Case of Business Models,” in Proceedings of the 24th European Conference on Information Systems (ECIS), Istanbul, Turkey, 2016.
LibreCat: /record/2700

D. Schlangenotto and D. Kundisch, “Read this Paper! A Field Experiment on the Role of a Call-To-Action in Paid Search,” in Proceedings of the 24th European Conference on Information Systems (ECIS), Istanbul, Turkey, 2016.
LibreCat: /record/2701

C. Cadenas-Sanchez et al., “Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study,”10.1016/j.jsams.2016.08.003__Journal of Science and Medicine in Sport, pp. 373–379, 2016, doi:10.1016/j.jsams.2016.08.003 .
LibreCat: /record/27034
DOI: 10.1016/j.jsams.2016.08.003

H. Xue et al., “Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China,”10.3390/nu8110667__Nutrients, Art. no. 667, 2016, doi:10.3390/nu8110667 .
LibreCat: /record/27035
DOI: 10.3390/nu8110667

M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, and L. Libuda, “Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo),”10.1017/s0007114516002932__British Journal of Nutrition, pp. 1298–1305, 2016, doi:10.1017/s0007114516002932 .
LibreCat: /record/27036
DOI: 10.1017/s0007114516002932

R. Muckelbauer et al., “Changes in water and sugar-containing beverage consumption and body weight outcomes in children,”10.1017/s0007114516001136__British Journal of Nutrition, pp. 2057–2066, 2016, doi:10.1017/s0007114516001136 .
LibreCat: /record/27037
DOI: 10.1017/s0007114516001136