Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1994 Publications
2016 | Journal Article | LibreCat-ID: 3112
Hofheinz, Dennis, and Tibor Jager. “Tightly Secure Signatures and Public-Key Encryption.” Des. Codes Cryptography, no. 1 (2016): 29--61. https://doi.org/10.1007/s10623-015-0062-x.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3113
Heuer, Felix, Tibor Jager, Sven Schäge, and Eike Kiltz. “Selective Opening Security of Practical Public-Key Encryption Schemes.” IET Information Security, no. 6 (2016): 304--318. https://doi.org/10.1049/iet-ifs.2015.0507.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3114
Jager, Tibor, and Andy Rupp. “Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way.” PoPETs, no. 3 (2016): 62--82.
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
Hofheinz, Dennis, Tibor Jager, Dakshita Khurana, Amit Sahai, Brent Waters, and Mark 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, 715--744, 2016. https://doi.org/10.1007/978-3-662-53890-6_24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3116
Horst, Matthias, Martin Grothe, Tibor Jager, and Jörg Schwenk. “Breaking PPTP VPNs via RADIUS Encryption.” In Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 159--175, 2016. https://doi.org/10.1007/978-3-319-48965-0_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
Bader, Christoph, Tibor Jager, Yong Li, and Sven 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, 273--304, 2016. https://doi.org/10.1007/978-3-662-49896-5_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, Dennis, Tibor Jager, and Andy 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, 146--168, 2016. https://doi.org/10.1007/978-3-662-53644-5_6.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, Dennis, and Tibor 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, 336--362, 2016. https://doi.org/10.1007/978-3-662-49096-9_14.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike 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, edited by Augusto Sampaio and Farn Wang, 3--24. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-46750-4_1.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, Oleg Travkin, and Heike 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, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-33693-0_13.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic {STM}.” In 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim{\’{e}}nez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016. https://doi.org/10.4230/LIPIcs.OPODIS.2016.35.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg, Tobias, Marie{-}Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2699
Görzen, Thomas, and Dennis 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), 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2700
Görzen, Thomas, and Dennis 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), 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2701
Schlangenotto, Darius, and Dennis 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), 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27034
Cadenas-Sanchez, Cristina, Jeremy Vanhelst, Jonatan R. Ruiz, Ruth Castillo-Gualda, Lars Libuda, Idoia Labayen, Pilar De Miguel-Etayo, et al. “Fitness and Fatness in Relation with Attention Capacity in European Adolescents: The HELENA Study.” Journal of Science and Medicine in Sport, 2016, 373–79. https://doi.org/10.1016/j.jsams.2016.08.003.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27035
Xue, Hongmei, Guo Tian, Ruonan Duan, Liming Quan, Li Zhao, Min Yang, Lars Libuda, Rebecca Muckelbauer, and Guo Cheng. “Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China.” Nutrients, 2016. https://doi.org/10.3390/nu8110667.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
Schröder, Maike, Katrin Müller, Michael Falkenstein, Peter Stehle, Mathilde Kersting, and Lars Libuda. “Lunch at School and Children’s Cognitive Functioning in the Early Afternoon: Results from the Cognition Intervention Study Dortmund Continued (CoCo).” British Journal of Nutrition, 2016, 1298–1305. https://doi.org/10.1017/s0007114516002932.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer, Rebecca, Steven L. Gortmaker, Lars Libuda, Mathilde Kersting, Kerstin Clausen, Bettina Adelberger, and Jacqueline Müller-Nordhorn. “Changes in Water and Sugar-Containing Beverage Consumption and Body Weight Outcomes in Children.” British Journal of Nutrition, 2016, 2057–66. https://doi.org/10.1017/s0007114516001136.
LibreCat
| DOI