When invoking the battery Rabbit, Alphabit, and BlockAlphabit, one must specify the number of bits available for each test. Other parameters of each test are chosen automatically as a function of the number of available bits.
In: Proceedings of Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of, Security (FCS-ARSPA-WITS'08), June 2008, pp. 161–175 (2008) Kawamoto, Y., Sakurada, ...
... Conference on Availability, Reliability and Security (ARES), Vienna, Austria, pp. 287–294. IEEE Computer Society (2006) Cremers, C., Mauw, S.: Security properties. In: Operational Semantics and Verification of Security Protocols ...
... M., Grossman, J., Hansen, R., Petkov, P.D., Rager, A., Schiller, C.A., Paladino, S.: InfoSecurity 2008 Threat Analysis. Syngress, Burlington (2008) Collette, R.: Overcoming obstacles to data classification [information security].
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Foundations and Practice of Security, FPS 2016, held in Québec City, QC, Canada, in October 2016.
This book constitutes the revised selected papers of the 13th International Symposium on Foundations and Practice of Security, FPS 2020, held in Montréal, QC, Canada, in December 2020.
This book constitutes the refereed proceedings of the 15th International Symposium on Foundations and Practice of Security, FPS 2022, held in Ottawa, ON, Canada, during December 12–14, 2022.
This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014.
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.
This book constitutes the revised selected papers of the 13th International Symposium on Foundations and Practice of Security, FPS 2020, held in Montréal, QC, Canada, in December 2020.
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.
This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011.
This book constitutes the revised selected papers of the 12th International Symposium on Foundations and Practice of Security, FPS 2019, held in Toulouse, France, in November 2019.
... secure in the random oracle model with a tighter reduction. Additionally, we give a chosen ciphertext secure construction of our scheme from twin technique. Keywords: identity based encryption, provable security, bilinear Diffie ...
... security of a block-cipher-based hash function independently of the underlying cipher's structure, it is used the black-box model, in which a block-cipher is modeled as an invertible random permutation defined by the key. An adversary ...