[{"author":[{"full_name":"Barkley, Dwight","last_name":"Barkley","first_name":"Dwight"},{"full_name":"Song, Baofang","last_name":"Song","first_name":"Baofang"},{"id":"3C5A959A-F248-11E8-B48F-1D18A9856A87","first_name":"Mukund","full_name":"Vasudevan, Mukund","last_name":"Vasudevan"},{"last_name":"Lemoult","full_name":"Lemoult, Grégoire M","id":"4787FE80-F248-11E8-B48F-1D18A9856A87","first_name":"Grégoire M"},{"first_name":"Marc","last_name":"Avila","full_name":"Avila, Marc"},{"full_name":"Hof, Björn","orcid":"0000-0003-2057-2754","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn"}],"publist_id":"5485","title":"The rise of fully turbulent flow","citation":{"ista":"Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. 2015. The rise of fully turbulent flow. Nature. 526(7574), 550–553.","chicago":"Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature15701.","ama":"Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. The rise of fully turbulent flow. Nature. 2015;526(7574):550-553. doi:10.1038/nature15701","apa":"Barkley, D., Song, B., Vasudevan, M., Lemoult, G. M., Avila, M., & Hof, B. (2015). The rise of fully turbulent flow. Nature. Nature Publishing Group. https://doi.org/10.1038/nature15701","short":"D. Barkley, B. Song, M. Vasudevan, G.M. Lemoult, M. Avila, B. Hof, Nature 526 (2015) 550–553.","ieee":"D. Barkley, B. Song, M. Vasudevan, G. M. Lemoult, M. Avila, and B. Hof, “The rise of fully turbulent flow,” Nature, vol. 526, no. 7574. Nature Publishing Group, pp. 550–553, 2015.","mla":"Barkley, Dwight, et al. “The Rise of Fully Turbulent Flow.” Nature, vol. 526, no. 7574, Nature Publishing Group, 2015, pp. 550–53, doi:10.1038/nature15701."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"name":"Decoding the complexity of turbulence at its origin","grant_number":"306589","_id":"25152F3A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"page":"550 - 553","date_created":"2018-12-11T11:53:20Z","doi":"10.1038/nature15701","date_published":"2015-10-21T00:00:00Z","year":"2015","publication":"Nature","day":"21","oa":1,"quality_controlled":"1","publisher":"Nature Publishing Group","acknowledgement":"We acknowledge the Deutsche Forschungsgemeinschaft (Project No. FOR 1182), and the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013)/ERC Grant Agreement 306589 for financial support. B.S. acknowledges financial support from the Chinese State Scholarship Fund under grant number 2010629145. B.S. acknowledges support from the International Max Planck Research School for the Physics of Biological and Complex Systems and the Göttingen Graduate School for Neurosciences and Molecular Biosciences. We acknowledge computing resources from GWDG (Gesellschaft für wissenschaftliche Datenverarbeitung Göttingen) and the Jülich Supercomputing Centre (grant HGU16) where the simulations were performed.","department":[{"_id":"BjHo"}],"date_updated":"2021-01-12T06:52:22Z","type":"journal_article","status":"public","_id":"1664","ec_funded":1,"volume":526,"issue":"7574","publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1510.09143"}],"scopus_import":1,"intvolume":" 526","month":"10","abstract":[{"text":"Over a century of research into the origin of turbulence in wall-bounded shear flows has resulted in a puzzling picture in which turbulence appears in a variety of different states competing with laminar background flow. At moderate flow speeds, turbulence is confined to localized patches; it is only at higher speeds that the entire flow becomes turbulent. The origin of the different states encountered during this transition, the front dynamics of the turbulent regions and the transformation to full turbulence have yet to be explained. By combining experiments, theory and computer simulations, here we uncover a bifurcation scenario that explains the transformation to fully turbulent pipe flow and describe the front dynamics of the different states encountered in the process. Key to resolving this problem is the interpretation of the flow as a bistable system with nonlinear propagation (advection) of turbulent fronts. These findings bridge the gap between our understanding of the onset of turbulence and fully turbulent flows.","lang":"eng"}],"oa_version":"Preprint"},{"project":[{"call_identifier":"FP7","_id":"258C570E-B435-11E9-9278-68D0E5697425","grant_number":"259668","name":"Provable Security for Physical Cryptography"}],"title":"Incoercible multi-party computation and universally composable receipt-free voting","article_processing_charge":"No","author":[{"full_name":"Alwen, Joel F","last_name":"Alwen","id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87","first_name":"Joel F"},{"first_name":"Rafail","last_name":"Ostrovsky","full_name":"Ostrovsky, Rafail"},{"last_name":"Zhou","full_name":"Zhou, Hongsheng","first_name":"Hongsheng"},{"first_name":"Vassilis","last_name":"Zikas","full_name":"Zikas, Vassilis"}],"publist_id":"5476","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Alwen, Joel F., et al. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” Advances in Cryptology - CRYPTO 2015, vol. 9216, Springer, 2015, pp. 763–80, doi:10.1007/978-3-662-48000-7_37.","ieee":"J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” in Advances in Cryptology - CRYPTO 2015, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 763–780.","short":"J.F. Alwen, R. Ostrovsky, H. Zhou, V. Zikas, in:, Advances in Cryptology - CRYPTO 2015, Springer, 2015, pp. 763–780.","ama":"Alwen JF, Ostrovsky R, Zhou H, Zikas V. Incoercible multi-party computation and universally composable receipt-free voting. In: Advances in Cryptology - CRYPTO 2015. Vol 9216. Lecture Notes in Computer Science. Springer; 2015:763-780. doi:10.1007/978-3-662-48000-7_37","apa":"Alwen, J. F., Ostrovsky, R., Zhou, H., & Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. In Advances in Cryptology - CRYPTO 2015 (Vol. 9216, pp. 763–780). Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_37","chicago":"Alwen, Joel F, Rafail Ostrovsky, Hongsheng Zhou, and Vassilis Zikas. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” In Advances in Cryptology - CRYPTO 2015, 9216:763–80. Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_37.","ista":"Alwen JF, Ostrovsky R, Zhou H, Zikas V. 2015. Incoercible multi-party computation and universally composable receipt-free voting. Advances in Cryptology - CRYPTO 2015. CRYPTO: International Cryptology ConferenceLecture Notes in Computer Science, LNCS, vol. 9216, 763–780."},"oa":1,"publisher":"Springer","quality_controlled":"1","acknowledgement":"Joël Alwen was supported by the ERC starting grant (259668-PSPC). Rafail Ostrovsky was supported in part by NSF grants 09165174, 1065276, 1118126 and 1136174, US-Israel BSF grant 2008411, OKAWA Foundation Research Award, IBM Faculty Research Award, Xerox Faculty Research Award, B. John Garrick Foundation Award, Teradata Research Award, Lockheed-Martin Corporation Research Award, and the Defense Advanced Research Projects Agency through the U.S. Office of Naval Research under Contract N00014 -11 -1-0392. The views expressed are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S. Government. Vassilis Zikas was supported in part by the Swiss National Science Foundation (SNF) via the Ambizione grant PZ00P-2142549.","date_created":"2018-12-11T11:53:23Z","date_published":"2015-08-01T00:00:00Z","doi":"10.1007/978-3-662-48000-7_37","page":"763 - 780","publication":"Advances in Cryptology - CRYPTO 2015","day":"01","year":"2015","has_accepted_license":"1","status":"public","conference":{"name":"CRYPTO: International Cryptology Conference","end_date":"2015-08-20","location":"Santa Barbara, CA, United States","start_date":"2015-08-16"},"type":"conference","_id":"1672","series_title":"Lecture Notes in Computer Science","file_date_updated":"2020-07-14T12:45:11Z","department":[{"_id":"KrPi"}],"ddc":["000"],"date_updated":"2022-06-07T09:51:55Z","intvolume":" 9216","month":"08","scopus_import":"1","alternative_title":["LNCS"],"oa_version":"Submitted Version","abstract":[{"text":"Composable notions of incoercibility aim to forbid a coercer from using anything beyond the coerced parties’ inputs and outputs to catch them when they try to deceive him. Existing definitions are restricted to weak coercion types, and/or are not universally composable. Furthermore, they often make too strong assumptions on the knowledge of coerced parties—e.g., they assume they known the identities and/or the strategies of other coerced parties, or those of corrupted parties— which makes them unsuitable for applications of incoercibility such as e-voting, where colluding adversarial parties may attempt to coerce honest voters, e.g., by offering them money for a promised vote, and use their own view to check that the voter keeps his end of the bargain. In this work we put forward the first universally composable notion of incoercible multi-party computation, which satisfies the above intuition and does not assume collusions among coerced parties or knowledge of the corrupted set. We define natural notions of UC incoercibility corresponding to standard coercion-types, i.e., receipt-freeness and resistance to full-active coercion. Importantly, our suggested notion has the unique property that it builds on top of the well studied UC framework by Canetti instead of modifying it. This guarantees backwards compatibility, and allows us to inherit results from the rich UC literature. We then present MPC protocols which realize our notions of UC incoercibility given access to an arguably minimal setup—namely honestly generate tamper-proof hardware performing a very simple cryptographic operation—e.g., a smart card. This is, to our knowledge, the first proposed construction of an MPC protocol (for more than two parties) that is incoercibly secure and universally composable, and therefore the first construction of a universally composable receipt-free e-voting protocol.","lang":"eng"}],"ec_funded":1,"volume":9216,"language":[{"iso":"eng"}],"file":[{"file_name":"2015_CRYPTO_Alwen.pdf","date_created":"2020-05-15T08:55:29Z","file_size":397363,"date_updated":"2020-07-14T12:45:11Z","creator":"dernst","checksum":"5b6649e80d1f781a8910f7cce6427f78","file_id":"7853","content_type":"application/pdf","relation":"main_file","access_level":"open_access"}],"publication_status":"published","publication_identifier":{"eisbn":["978-3-662-48000-7"],"isbn":["978-3-662-47999-5"]}},{"oa":1,"quality_controlled":"1","publisher":"Springer","day":"15","year":"2015","has_accepted_license":"1","date_created":"2018-12-11T11:53:22Z","date_published":"2015-08-15T00:00:00Z","doi":"10.1007/978-3-319-22174-8_5","page":"81 - 98","project":[{"call_identifier":"FP7","_id":"258C570E-B435-11E9-9278-68D0E5697425","name":"Provable Security for Physical Cryptography","grant_number":"259668"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Pietrzak KZ, Skórski M. 2015. The chain rule for HILL pseudoentropy, revisited. 9230, 81–98.","chicago":"Pietrzak, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22174-8_5.","ama":"Pietrzak KZ, Skórski M. The chain rule for HILL pseudoentropy, revisited. 2015;9230:81-98. doi:10.1007/978-3-319-22174-8_5","apa":"Pietrzak, K. Z., & Skórski, M. (2015). The chain rule for HILL pseudoentropy, revisited. Presented at the LATINCRYPT: Cryptology and Information Security in Latin America, Guadalajara, Mexico: Springer. https://doi.org/10.1007/978-3-319-22174-8_5","short":"K.Z. Pietrzak, M. Skórski, 9230 (2015) 81–98.","ieee":"K. Z. Pietrzak and M. Skórski, “The chain rule for HILL pseudoentropy, revisited,” vol. 9230. Springer, pp. 81–98, 2015.","mla":"Pietrzak, Krzysztof Z., and Maciej Skórski. The Chain Rule for HILL Pseudoentropy, Revisited. Vol. 9230, Springer, 2015, pp. 81–98, doi:10.1007/978-3-319-22174-8_5."},"title":"The chain rule for HILL pseudoentropy, revisited","publist_id":"5480","author":[{"last_name":"Pietrzak","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z"},{"last_name":"Skórski","full_name":"Skórski, Maciej","first_name":"Maciej"}],"oa_version":"Submitted Version","abstract":[{"text":"Computational notions of entropy (a.k.a. pseudoentropy) have found many applications, including leakage-resilient cryptography, deterministic encryption or memory delegation. The most important tools to argue about pseudoentropy are chain rules, which quantify by how much (in terms of quantity and quality) the pseudoentropy of a given random variable X decreases when conditioned on some other variable Z (think for example of X as a secret key and Z as information leaked by a side-channel). In this paper we give a very simple and modular proof of the chain rule for HILL pseudoentropy, improving best known parameters. Our version allows for increasing the acceptable length of leakage in applications up to a constant factor compared to the best previous bounds. As a contribution of independent interest, we provide a comprehensive study of all known versions of the chain rule, comparing their worst-case strength and limitations.","lang":"eng"}],"intvolume":" 9230","month":"08","scopus_import":1,"alternative_title":["LNCS"],"language":[{"iso":"eng"}],"file":[{"file_size":443340,"date_updated":"2020-07-14T12:45:11Z","creator":"system","file_name":"IST-2016-669-v1+1_599.pdf","date_created":"2018-12-12T10:18:29Z","content_type":"application/pdf","relation":"main_file","access_level":"open_access","checksum":"8cd4215b83efba720e8cf27c23ff4781","file_id":"5351"}],"publication_status":"published","ec_funded":1,"volume":9230,"_id":"1669","series_title":"Lecture Notes in Computer Science","pubrep_id":"669","status":"public","conference":{"start_date":"2015-08-23","end_date":"2015-08-26","location":"Guadalajara, Mexico","name":"LATINCRYPT: Cryptology and Information Security in Latin America"},"type":"conference","ddc":["005"],"date_updated":"2021-01-12T06:52:24Z","file_date_updated":"2020-07-14T12:45:11Z","department":[{"_id":"KrPi"}]},{"publist_id":"5478","author":[{"first_name":"Peter","id":"3E0BFE38-F248-11E8-B48F-1D18A9856A87","last_name":"Gazi","full_name":"Gazi, Peter"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","last_name":"Pietrzak"},{"last_name":"Tessaro","full_name":"Tessaro, Stefano","first_name":"Stefano"}],"title":"The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC","citation":{"chicago":"Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,” 9215:368–87. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_18.","ista":"Gazi P, Pietrzak KZ, Tessaro S. 2015. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. CRYPTO: International Cryptology Conference, LNCS, vol. 9215, 368–387.","mla":"Gazi, Peter, et al. The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC. Vol. 9215, Springer, 2015, pp. 368–87, doi:10.1007/978-3-662-47989-6_18.","ieee":"P. Gazi, K. Z. Pietrzak, and S. Tessaro, “The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9215, pp. 368–387.","short":"P. Gazi, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2015, pp. 368–387.","ama":"Gazi P, Pietrzak KZ, Tessaro S. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. In: Vol 9215. Springer; 2015:368-387. doi:10.1007/978-3-662-47989-6_18","apa":"Gazi, P., Pietrzak, K. Z., & Tessaro, S. (2015). The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC (Vol. 9215, pp. 368–387). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-47989-6_18"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Provable Security for Physical Cryptography","grant_number":"259668"}],"page":"368 - 387","date_created":"2018-12-11T11:53:23Z","doi":"10.1007/978-3-662-47989-6_18","date_published":"2015-08-01T00:00:00Z","year":"2015","has_accepted_license":"1","day":"01","oa":1,"quality_controlled":"1","publisher":"Springer","file_date_updated":"2020-07-14T12:45:11Z","department":[{"_id":"KrPi"}],"date_updated":"2021-01-12T06:52:25Z","ddc":["004","005"],"conference":{"name":"CRYPTO: International Cryptology Conference","start_date":"2015-08-16","location":"Santa Barbara, CA, United States","end_date":"2015-08-20"},"type":"conference","pubrep_id":"673","status":"public","_id":"1671","ec_funded":1,"volume":9215,"publication_status":"published","language":[{"iso":"eng"}],"file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","checksum":"17d854227b3b753fd34f5d29e5b5a32e","file_id":"4827","creator":"system","file_size":592296,"date_updated":"2020-07-14T12:45:11Z","file_name":"IST-2016-673-v1+1_053.pdf","date_created":"2018-12-12T10:10:38Z"}],"alternative_title":["LNCS"],"scopus_import":1,"intvolume":" 9215","month":"08","abstract":[{"text":"This paper studies the concrete security of PRFs and MACs obtained by keying hash functions based on the sponge paradigm. One such hash function is KECCAK, selected as NIST’s new SHA-3 standard. In contrast to other approaches like HMAC, the exact security of keyed sponges is not well understood. Indeed, recent security analyses delivered concrete security bounds which are far from existing attacks. This paper aims to close this gap. We prove (nearly) exact bounds on the concrete PRF security of keyed sponges using a random permutation. These bounds are tight for the most relevant ranges of parameters, i.e., for messages of length (roughly) l ≤ min{2n/4, 2r} blocks, where n is the state size and r is the desired output length; and for l ≤ q queries (to the construction or the underlying permutation). Moreover, we also improve standard-model bounds. As an intermediate step of independent interest, we prove tight bounds on the PRF security of the truncated CBC-MAC construction, which operates as plain CBC-MAC, but only returns a prefix of the output.","lang":"eng"}],"oa_version":"Submitted Version"},{"article_number":"20150114","project":[{"grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2015. https://doi.org/10.1098/rspa.2015.0114.","ista":"Adlam B, Chatterjee K, Nowak M. 2015. Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 471(2181), 20150114.","mla":"Adlam, Ben, et al. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181, 20150114, Royal Society of London, 2015, doi:10.1098/rspa.2015.0114.","ama":"Adlam B, Chatterjee K, Nowak M. Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2015;471(2181). doi:10.1098/rspa.2015.0114","apa":"Adlam, B., Chatterjee, K., & Nowak, M. (2015). Amplifiers of selection. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rspa.2015.0114","ieee":"B. Adlam, K. Chatterjee, and M. Nowak, “Amplifiers of selection,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181. Royal Society of London, 2015.","short":"B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015)."},"title":"Amplifiers of selection","publist_id":"5477","author":[{"first_name":"Ben","full_name":"Adlam, Ben","last_name":"Adlam"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"first_name":"Martin","full_name":"Nowak, Martin","last_name":"Nowak"}],"acknowledgement":"K.C. gratefully acknowledges support from ERC Start grant no. (279307: Graph Games), Austrian Science Fund (FWF) grant no. P23499-N23, and FWF NFN grant no. S11407-N23 (RiSE). ","oa":1,"quality_controlled":"1","publisher":"Royal Society of London","publication":"Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences","day":"08","year":"2015","has_accepted_license":"1","date_created":"2018-12-11T11:53:24Z","doi":"10.1098/rspa.2015.0114","date_published":"2015-09-08T00:00:00Z","_id":"1673","status":"public","type":"journal_article","ddc":["000"],"date_updated":"2021-01-12T06:52:26Z","department":[{"_id":"KrCh"}],"file_date_updated":"2020-07-14T12:45:11Z","oa_version":"Published Version","abstract":[{"text":"When a new mutant arises in a population, there is a probability it outcompetes the residents and fixes. The structure of the population can affect this fixation probability. Suppressing population structures reduce the difference between two competing variants, while amplifying population structures enhance the difference. Suppressors are ubiquitous and easy to construct, but amplifiers for the large population limit are more elusive and only a few examples have been discovered. Whether or not a population structure is an amplifier of selection depends on the probability distribution for the placement of the invading mutant. First, we prove that there exist only bounded amplifiers for adversarial placement-that is, for arbitrary initial conditions. Next, we show that the Star population structure, which is known to amplify for mutants placed uniformly at random, does not amplify for mutants that arise through reproduction and are therefore placed proportional to the temperatures of the vertices. Finally, we construct population structures that amplify for all mutational events that arise through reproduction, uniformly at random, or through some combination of the two. ","lang":"eng"}],"intvolume":" 471","month":"09","scopus_import":1,"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","access_level":"open_access","relation":"main_file","file_id":"6342","checksum":"e613d94d283c776322403a28aad11bdd","date_updated":"2020-07-14T12:45:11Z","file_size":391466,"creator":"kschuh","date_created":"2019-04-18T12:39:56Z","file_name":"2015_rspa_Adlam.pdf"}],"publication_status":"published","ec_funded":1,"volume":471,"issue":"2181"},{"author":[{"last_name":"Gazi","full_name":"Gazi, Peter","id":"3E0BFE38-F248-11E8-B48F-1D18A9856A87","first_name":"Peter"},{"last_name":"Lee","full_name":"Lee, Jooyoung","first_name":"Jooyoung"},{"first_name":"Yannick","last_name":"Seurin","full_name":"Seurin, Yannick"},{"first_name":"John","full_name":"Steinberger, John","last_name":"Steinberger"},{"full_name":"Tessaro, Stefano","last_name":"Tessaro","first_name":"Stefano"}],"publist_id":"5481","title":"Relaxing full-codebook security: A refined analysis of key-length extension schemes","citation":{"ieee":"P. Gazi, J. Lee, Y. Seurin, J. Steinberger, and S. Tessaro, “Relaxing full-codebook security: A refined analysis of key-length extension schemes,” vol. 9054. Springer, pp. 319–341, 2015.","short":"P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.","apa":"Gazi, P., Lee, J., Seurin, Y., Steinberger, J., & Tessaro, S. (2015). Relaxing full-codebook security: A refined analysis of key-length extension schemes. Presented at the FSE: Fast Software Encryption, Istanbul, Turkey: Springer. https://doi.org/10.1007/978-3-662-48116-5_16","ama":"Gazi P, Lee J, Seurin Y, Steinberger J, Tessaro S. Relaxing full-codebook security: A refined analysis of key-length extension schemes. 2015;9054:319-341. doi:10.1007/978-3-662-48116-5_16","mla":"Gazi, Peter, et al. Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes. Vol. 9054, Springer, 2015, pp. 319–41, doi:10.1007/978-3-662-48116-5_16.","ista":"Gazi P, Lee J, Seurin Y, Steinberger J, Tessaro S. 2015. Relaxing full-codebook security: A refined analysis of key-length extension schemes. 9054, 319–341.","chicago":"Gazi, Peter, Jooyoung Lee, Yannick Seurin, John Steinberger, and Stefano Tessaro. “Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48116-5_16."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"259668","name":"Provable Security for Physical Cryptography"}],"page":"319 - 341","date_created":"2018-12-11T11:53:22Z","date_published":"2015-08-12T00:00:00Z","doi":"10.1007/978-3-662-48116-5_16","year":"2015","day":"12","oa":1,"quality_controlled":"1","publisher":"Springer","department":[{"_id":"KrPi"}],"date_updated":"2020-08-11T10:09:26Z","conference":{"name":"FSE: Fast Software Encryption","location":"Istanbul, Turkey","end_date":"2015-03-11","start_date":"2015-03-08"},"type":"conference","status":"public","series_title":"Lecture Notes in Computer Science","_id":"1668","ec_funded":1,"volume":9054,"publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://eprint.iacr.org/2015/397","open_access":"1"}],"alternative_title":["LNCS"],"scopus_import":1,"intvolume":" 9054","month":"08","abstract":[{"text":"We revisit the security (as a pseudorandom permutation) of cascading-based constructions for block-cipher key-length extension. Previous works typically considered the extreme case where the adversary is given the entire codebook of the construction, the only complexity measure being the number qe of queries to the underlying ideal block cipher, representing adversary’s secret-key-independent computation. Here, we initiate a systematic study of the more natural case of an adversary restricted to adaptively learning a number qc of plaintext/ciphertext pairs that is less than the entire codebook. For any such qc, we aim to determine the highest number of block-cipher queries qe the adversary can issue without being able to successfully distinguish the construction (under a secret key) from a random permutation.\r\nMore concretely, we show the following results for key-length extension schemes using a block cipher with n-bit blocks and κ-bit keys:\r\nPlain cascades of length ℓ=2r+1 are secure whenever qcqre≪2r(κ+n), qc≪2κ and qe≪22κ. The bound for r=1 also applies to two-key triple encryption (as used within Triple DES).\r\nThe r-round XOR-cascade is secure as long as qcqre≪2r(κ+n), matching an attack by Gaži (CRYPTO 2013).\r\nWe fully characterize the security of Gaži and Tessaro’s two-call ","lang":"eng"}],"oa_version":"Submitted Version"},{"publication_status":"published","year":"2015","language":[{"iso":"eng"}],"day":"01","page":"42 - 46","date_created":"2018-12-11T11:53:23Z","ec_funded":1,"date_published":"2015-06-01T00:00:00Z","abstract":[{"lang":"eng","text":"Planning in hybrid domains poses a special challenge due to the involved mixed discrete-continuous dynamics. A recent solving approach for such domains is based on applying model checking techniques on a translation of PDDL+ planning problems to hybrid automata. However, the proposed translation is limited because must behavior is only overapproximated, and hence, processes and events are not reflected exactly. In this paper, we present the theoretical foundation of an exact PDDL+ translation. We propose a schema to convert a hybrid automaton with must transitions into an equivalent hybrid automaton featuring only may transitions."}],"acknowledgement":"This work was partly supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS, http://www.avacs.org/), by the European Research Council (ERC) under grant 267989 (QUAREM), by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), and by the Swiss National Science Foundation (SNSF) as part of the project “Automated Reformulation and Pruning in Factored State Spaces (ARAP)”.","oa_version":"None","main_file_link":[{"url":"https://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10606/10394"}],"quality_controlled":"1","scopus_import":1,"publisher":"AAAI Press","month":"06","date_updated":"2021-01-12T06:52:25Z","citation":{"chicago":"Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.","ista":"Bogomolov S, Magazzeni D, Minopoli S, Wehrle M. 2015. PDDL+ planning with hybrid automata: Foundations of translating must behavior. ICAPS: International Conference on Automated Planning and Scheduling, 42–46.","mla":"Bogomolov, Sergiy, et al. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. AAAI Press, 2015, pp. 42–46.","apa":"Bogomolov, S., Magazzeni, D., Minopoli, S., & Wehrle, M. (2015). PDDL+ planning with hybrid automata: Foundations of translating must behavior (pp. 42–46). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel: AAAI Press.","ama":"Bogomolov S, Magazzeni D, Minopoli S, Wehrle M. PDDL+ planning with hybrid automata: Foundations of translating must behavior. In: AAAI Press; 2015:42-46.","short":"S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.","ieee":"S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ planning with hybrid automata: Foundations of translating must behavior,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel, 2015, pp. 42–46."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Bogomolov","orcid":"0000-0002-0686-0365","full_name":"Bogomolov, Sergiy","first_name":"Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Daniele","last_name":"Magazzeni","full_name":"Magazzeni, Daniele"},{"full_name":"Minopoli, Stefano","last_name":"Minopoli","first_name":"Stefano"},{"first_name":"Martin","last_name":"Wehrle","full_name":"Wehrle, Martin"}],"publist_id":"5479","title":"PDDL+ planning with hybrid automata: Foundations of translating must behavior","department":[{"_id":"ToHe"}],"_id":"1670","conference":{"name":"ICAPS: International Conference on Automated Planning and Scheduling","end_date":"2015-06-11","location":"Jerusalem, Israel","start_date":"2015-06-07"},"type":"conference","project":[{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize"},{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"status":"public"},{"status":"public","type":"journal_article","article_number":"1550018","_id":"1674","department":[{"_id":"LaEr"}],"title":"Edge universality for deformed Wigner matrices","publist_id":"5475","author":[{"full_name":"Lee, Jioon","last_name":"Lee","first_name":"Jioon"},{"last_name":"Schnelli","full_name":"Schnelli, Kevin","orcid":"0000-0003-0954-3231","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","first_name":"Kevin"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T06:52:26Z","citation":{"ista":"Lee J, Schnelli K. 2015. Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. 27(8), 1550018.","chicago":"Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.” Reviews in Mathematical Physics. World Scientific Publishing, 2015. https://doi.org/10.1142/S0129055X1550018X.","short":"J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).","ieee":"J. Lee and K. Schnelli, “Edge universality for deformed Wigner matrices,” Reviews in Mathematical Physics, vol. 27, no. 8. World Scientific Publishing, 2015.","ama":"Lee J, Schnelli K. Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. 2015;27(8). doi:10.1142/S0129055X1550018X","apa":"Lee, J., & Schnelli, K. (2015). Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X1550018X","mla":"Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.” Reviews in Mathematical Physics, vol. 27, no. 8, 1550018, World Scientific Publishing, 2015, doi:10.1142/S0129055X1550018X."},"month":"09","intvolume":" 27","quality_controlled":"1","scopus_import":1,"publisher":"World Scientific Publishing","main_file_link":[{"url":"http://arxiv.org/abs/1407.8015","open_access":"1"}],"oa":1,"oa_version":"Preprint","abstract":[{"text":"We consider N × N random matrices of the form H = W + V where W is a real symmetric Wigner matrix and V a random or deterministic, real, diagonal matrix whose entries are independent of W. We assume subexponential decay for the matrix entries of W and we choose V so that the eigenvalues of W and V are typically of the same order. For a large class of diagonal matrices V, we show that the rescaled distribution of the extremal eigenvalues is given by the Tracy-Widom distribution F1 in the limit of large N. Our proofs also apply to the complex Hermitian setting, i.e. when W is a complex Hermitian Wigner matrix.","lang":"eng"}],"date_published":"2015-09-01T00:00:00Z","volume":27,"doi":"10.1142/S0129055X1550018X","issue":"8","date_created":"2018-12-11T11:53:24Z","day":"01","publication":"Reviews in Mathematical Physics","language":[{"iso":"eng"}],"year":"2015","publication_status":"published"},{"oa_version":"Published Version","scopus_import":1,"intvolume":" 27","month":"09","publication_status":"published","language":[{"iso":"eng"}],"file":[{"creator":"system","file_size":872366,"date_updated":"2020-07-14T12:45:12Z","file_name":"IST-2017-748-v1+1_1.4930850.pdf","date_created":"2018-12-12T10:13:35Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","checksum":"604bba3c2496aadb3efcff77de01ce6c","file_id":"5019"}],"volume":27,"issue":"9","_id":"1679","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","pubrep_id":"748","status":"public","date_updated":"2021-01-12T06:52:28Z","ddc":["532"],"department":[{"_id":"BjHo"}],"file_date_updated":"2020-07-14T12:45:12Z","oa":1,"quality_controlled":"1","publisher":"American Institute of Physics","year":"2015","has_accepted_license":"1","publication":"Physics of Fluids","day":"24","date_created":"2018-12-11T11:53:26Z","doi":"10.1063/1.4930850","date_published":"2015-09-24T00:00:00Z","article_number":"091102","citation":{"mla":"Lemoult, Grégoire M., et al. “Taylor’s Forest.” Physics of Fluids, vol. 27, no. 9, 091102, American Institute of Physics, 2015, doi:10.1063/1.4930850.","ieee":"G. M. Lemoult, P. Maier, and B. Hof, “Taylor’s Forest,” Physics of Fluids, vol. 27, no. 9. American Institute of Physics, 2015.","short":"G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).","ama":"Lemoult GM, Maier P, Hof B. Taylor’s Forest. Physics of Fluids. 2015;27(9). doi:10.1063/1.4930850","apa":"Lemoult, G. M., Maier, P., & Hof, B. (2015). Taylor’s Forest. Physics of Fluids. American Institute of Physics. https://doi.org/10.1063/1.4930850","chicago":"Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.” Physics of Fluids. American Institute of Physics, 2015. https://doi.org/10.1063/1.4930850.","ista":"Lemoult GM, Maier P, Hof B. 2015. Taylor’s Forest. Physics of Fluids. 27(9), 091102."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"4787FE80-F248-11E8-B48F-1D18A9856A87","first_name":"Grégoire M","full_name":"Lemoult, Grégoire M","last_name":"Lemoult"},{"full_name":"Maier, Philipp","last_name":"Maier","first_name":"Philipp","id":"384F7C04-F248-11E8-B48F-1D18A9856A87"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn","last_name":"Hof"}],"publist_id":"5469","title":"Taylor's Forest"},{"citation":{"mla":"Sixt, Michael K., and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.” Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 4–6, doi:10.1016/j.ceb.2015.09.004.","apa":"Sixt, M. K., & Raz, E. (2015). Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2015.09.004","ama":"Sixt MK, Raz E. Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. 2015;36(10):4-6. doi:10.1016/j.ceb.2015.09.004","ieee":"M. K. Sixt and E. Raz, “Editorial overview: Cell adhesion and migration,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 4–6, 2015.","short":"M.K. Sixt, E. Raz, Current Opinion in Cell Biology 36 (2015) 4–6.","chicago":"Sixt, Michael K, and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.” Current Opinion in Cell Biology. Elsevier, 2015. https://doi.org/10.1016/j.ceb.2015.09.004.","ista":"Sixt MK, Raz E. 2015. Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. 36(10), 4–6."},"date_updated":"2021-01-12T06:52:27Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"5473","author":[{"first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179"},{"first_name":"Erez","full_name":"Raz, Erez","last_name":"Raz"}],"department":[{"_id":"MiSi"}],"title":"Editorial overview: Cell adhesion and migration","_id":"1676","type":"journal_article","status":"public","publication_status":"published","year":"2015","publication":"Current Opinion in Cell Biology","language":[{"iso":"eng"}],"day":"01","page":"4 - 6","date_created":"2018-12-11T11:53:25Z","doi":"10.1016/j.ceb.2015.09.004","issue":"10","date_published":"2015-10-01T00:00:00Z","volume":36,"oa_version":"None","scopus_import":1,"publisher":"Elsevier","intvolume":" 36","month":"10"}]