[{"alternative_title":["LNCS"],"type":"conference","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"}],"intvolume":" 9054","title":"Relaxing full-codebook security: A refined analysis of key-length extension schemes","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"1668","oa_version":"Submitted Version","series_title":"Lecture Notes in Computer Science","scopus_import":1,"day":"12","page":"319 - 341","citation":{"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.","short":"P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.","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.","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","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.","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.","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"},"date_published":"2015-08-12T00:00:00Z","publist_id":"5481","ec_funded":1,"publisher":"Springer","department":[{"_id":"KrPi"}],"publication_status":"published","year":"2015","volume":9054,"date_updated":"2020-08-11T10:09:26Z","date_created":"2018-12-11T11:53:22Z","author":[{"first_name":"Peter","last_name":"Gazi","id":"3E0BFE38-F248-11E8-B48F-1D18A9856A87","full_name":"Gazi, Peter"},{"full_name":"Lee, Jooyoung","first_name":"Jooyoung","last_name":"Lee"},{"last_name":"Seurin","first_name":"Yannick","full_name":"Seurin, Yannick"},{"last_name":"Steinberger","first_name":"John","full_name":"Steinberger, John"},{"full_name":"Tessaro, Stefano","last_name":"Tessaro","first_name":"Stefano"}],"month":"08","project":[{"grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Provable Security for Physical Cryptography"}],"quality_controlled":"1","main_file_link":[{"url":"http://eprint.iacr.org/2015/397","open_access":"1"}],"oa":1,"language":[{"iso":"eng"}],"doi":"10.1007/978-3-662-48116-5_16","conference":{"name":"FSE: Fast Software Encryption","end_date":"2015-03-11","location":"Istanbul, Turkey","start_date":"2015-03-08"}},{"day":"01","month":"06","scopus_import":1,"language":[{"iso":"eng"}],"date_published":"2015-06-01T00:00:00Z","conference":{"start_date":"2015-06-07","location":"Jerusalem, Israel","end_date":"2015-06-11","name":"ICAPS: International Conference on Automated Planning and Scheduling"},"page":"42 - 46","project":[{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"}],"quality_controlled":"1","citation":{"short":"S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.","mla":"Bogomolov, Sergiy, et al. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. AAAI Press, 2015, pp. 42–46.","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.","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.","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.","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.","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."},"main_file_link":[{"url":"https://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10606/10394"}],"ec_funded":1,"publist_id":"5479","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."}],"type":"conference","oa_version":"None","date_created":"2018-12-11T11:53:23Z","date_updated":"2021-01-12T06:52:25Z","author":[{"last_name":"Bogomolov","first_name":"Sergiy","orcid":"0000-0002-0686-0365","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","full_name":"Bogomolov, Sergiy"},{"full_name":"Magazzeni, Daniele","first_name":"Daniele","last_name":"Magazzeni"},{"first_name":"Stefano","last_name":"Minopoli","full_name":"Minopoli, Stefano"},{"first_name":"Martin","last_name":"Wehrle","full_name":"Wehrle, Martin"}],"publisher":"AAAI Press","department":[{"_id":"ToHe"}],"status":"public","publication_status":"published","title":"PDDL+ planning with hybrid automata: Foundations of translating must behavior","_id":"1670","year":"2015","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)”.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"doi":"10.1142/S0129055X1550018X","date_published":"2015-09-01T00:00:00Z","language":[{"iso":"eng"}],"oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1407.8015"}],"citation":{"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.","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.","short":"J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).","ista":"Lee J, Schnelli K. 2015. Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. 27(8), 1550018.","ieee":"J. Lee and K. Schnelli, “Edge universality for deformed Wigner matrices,” Reviews in Mathematical Physics, vol. 27, no. 8. World Scientific Publishing, 2015.","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","ama":"Lee J, Schnelli K. Edge universality for deformed Wigner matrices. Reviews in Mathematical Physics. 2015;27(8). doi:10.1142/S0129055X1550018X"},"publication":"Reviews in Mathematical Physics","quality_controlled":"1","month":"09","day":"01","scopus_import":1,"author":[{"full_name":"Lee, Jioon","last_name":"Lee","first_name":"Jioon"},{"full_name":"Schnelli, Kevin","orcid":"0000-0003-0954-3231","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","last_name":"Schnelli","first_name":"Kevin"}],"volume":27,"oa_version":"Preprint","date_updated":"2021-01-12T06:52:26Z","date_created":"2018-12-11T11:53:24Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"1674","year":"2015","intvolume":" 27","department":[{"_id":"LaEr"}],"publisher":"World Scientific Publishing","status":"public","title":"Edge universality for deformed Wigner matrices","publication_status":"published","issue":"8","publist_id":"5475","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"}],"type":"journal_article","article_number":"1550018"},{"language":[{"iso":"eng"}],"doi":"10.1063/1.4930850","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"month":"09","volume":27,"date_updated":"2021-01-12T06:52:28Z","date_created":"2018-12-11T11:53:26Z","author":[{"full_name":"Lemoult, Grégoire M","id":"4787FE80-F248-11E8-B48F-1D18A9856A87","first_name":"Grégoire M","last_name":"Lemoult"},{"last_name":"Maier","first_name":"Philipp","id":"384F7C04-F248-11E8-B48F-1D18A9856A87","full_name":"Maier, Philipp"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2057-2754","first_name":"Björn","last_name":"Hof","full_name":"Hof, Björn"}],"department":[{"_id":"BjHo"}],"publisher":"American Institute of Physics","publication_status":"published","year":"2015","license":"https://creativecommons.org/licenses/by/4.0/","publist_id":"5469","file_date_updated":"2020-07-14T12:45:12Z","article_number":"091102","date_published":"2015-09-24T00:00:00Z","citation":{"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.","short":"G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).","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.","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","ieee":"G. M. Lemoult, P. Maier, and B. Hof, “Taylor’s Forest,” Physics of Fluids, vol. 27, no. 9. American Institute of Physics, 2015.","ista":"Lemoult GM, Maier P, Hof B. 2015. Taylor’s Forest. Physics of Fluids. 27(9), 091102.","ama":"Lemoult GM, Maier P, Hof B. Taylor’s Forest. Physics of Fluids. 2015;27(9). doi:10.1063/1.4930850"},"publication":"Physics of Fluids","has_accepted_license":"1","day":"24","scopus_import":1,"file":[{"file_id":"5019","relation":"main_file","checksum":"604bba3c2496aadb3efcff77de01ce6c","date_updated":"2020-07-14T12:45:12Z","date_created":"2018-12-12T10:13:35Z","access_level":"open_access","file_name":"IST-2017-748-v1+1_1.4930850.pdf","creator":"system","file_size":872366,"content_type":"application/pdf"}],"oa_version":"Published Version","pubrep_id":"748","intvolume":" 27","title":"Taylor's Forest","status":"public","ddc":["532"],"_id":"1679","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"9","type":"journal_article"},{"date_published":"2015-10-01T00:00:00Z","doi":"10.1016/j.ceb.2015.09.004","language":[{"iso":"eng"}],"citation":{"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","ista":"Sixt MK, Raz E. 2015. Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. 36(10), 4–6.","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","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.","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.","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."},"publication":"Current Opinion in Cell Biology","page":"4 - 6","month":"10","day":"01","scopus_import":1,"author":[{"first_name":"Michael K","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K"},{"full_name":"Raz, Erez","last_name":"Raz","first_name":"Erez"}],"volume":36,"oa_version":"None","date_created":"2018-12-11T11:53:25Z","date_updated":"2021-01-12T06:52:27Z","_id":"1676","year":"2015","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"MiSi"}],"publisher":"Elsevier","intvolume":" 36","title":"Editorial overview: Cell adhesion and migration","publication_status":"published","status":"public","issue":"10","publist_id":"5473","type":"journal_article"}]