The Experts below are selected from a list of 1014 Experts worldwide ranked by ideXlab platform

Phillip Rogaway - One of the best experts on this subject based on the ideXlab platform.

  • The Security of the cipher block chaining Message Authentication Code
    Journal of Computer and System Sciences, 2000
    Co-Authors: Mihir Bellare, Joe Kilian, Phillip Rogaway
    Abstract:

    Let F be some block cipher (eg., DES) with block length l. The cipher block chaining message authentication code (CBC MAC) specifies that an m-block message x=x1?xm be authenticated among parties who share a secret key a for the block cipher by tagging x with a prefix of ym, where y0=0l and yi=Fa(mi?yi?1) for i=1, 2, ?, m. This method is a pervasively used international and U.S. standard. We provide its first formal justification, showing the following general lemma: cipher block chaining a pseudorandom function yields a pseudorandom function. Underlying our results is a technical lemma of independent interest, bounding the success probability of a computationally unbounded adversary in distinguishing between a random ml-bit to l-bit function and the CBC MAC of a random l-bit to l-bit function.

  • CRYPTO - The Security of cipher block chaining
    Advances in Cryptology — CRYPTO ’94, 1994
    Co-Authors: Mihir Bellare, Joe Kilian, Phillip Rogaway
    Abstract:

    The cipher block chaining - Message Authentication Code (CBC MAC) specifies that a, message x = x1 ... xm be authenticated among parties who share a secret key a by tagging x with a prefix of fa(m)(x) def = fa(fa(... fa(fa(x1)?x2)?...?xm-1)?xm), where f is some underlying block cipher (eg. f = DES). This method is a pervasively used international and U.S. standard. We provide its first formal justification, showing the following general lemma: that cipher block chaining a pseudorandom function gives a pseudorandom function. Underlying our results is a technical lemma of independent interest, bounding the success probability of a computationally unbounded adversary in distinguishing between a random ml-bit to l-bit function and the CBC MAC of a random l-bit to l-bit function.

  • the security of cipher block chaining
    International Cryptology Conference, 1994
    Co-Authors: Mihir Bellare, Joe Kilian, Phillip Rogaway
    Abstract:

    The cipher block chaining - Message Authentication Code (CBC MAC) specifies that a, message x = x1 ... xm be authenticated among parties who share a secret key a by tagging x with a prefix of fa(m)(x) def = fa(fa(... fa(fa(x1)?x2)?...?xm-1)?xm), where f is some underlying block cipher (eg. f = DES). This method is a pervasively used international and U.S. standard. We provide its first formal justification, showing the following general lemma: that cipher block chaining a pseudorandom function gives a pseudorandom function. Underlying our results is a technical lemma of independent interest, bounding the success probability of a computationally unbounded adversary in distinguishing between a random ml-bit to l-bit function and the CBC MAC of a random l-bit to l-bit function.

Mihir Bellare - One of the best experts on this subject based on the ideXlab platform.

  • The Security of the cipher block chaining Message Authentication Code
    Journal of Computer and System Sciences, 2000
    Co-Authors: Mihir Bellare, Joe Kilian, Phillip Rogaway
    Abstract:

    Let F be some block cipher (eg., DES) with block length l. The cipher block chaining message authentication code (CBC MAC) specifies that an m-block message x=x1?xm be authenticated among parties who share a secret key a for the block cipher by tagging x with a prefix of ym, where y0=0l and yi=Fa(mi?yi?1) for i=1, 2, ?, m. This method is a pervasively used international and U.S. standard. We provide its first formal justification, showing the following general lemma: cipher block chaining a pseudorandom function yields a pseudorandom function. Underlying our results is a technical lemma of independent interest, bounding the success probability of a computationally unbounded adversary in distinguishing between a random ml-bit to l-bit function and the CBC MAC of a random l-bit to l-bit function.

  • CRYPTO - The Security of cipher block chaining
    Advances in Cryptology — CRYPTO ’94, 1994
    Co-Authors: Mihir Bellare, Joe Kilian, Phillip Rogaway
    Abstract:

    The cipher block chaining - Message Authentication Code (CBC MAC) specifies that a, message x = x1 ... xm be authenticated among parties who share a secret key a by tagging x with a prefix of fa(m)(x) def = fa(fa(... fa(fa(x1)?x2)?...?xm-1)?xm), where f is some underlying block cipher (eg. f = DES). This method is a pervasively used international and U.S. standard. We provide its first formal justification, showing the following general lemma: that cipher block chaining a pseudorandom function gives a pseudorandom function. Underlying our results is a technical lemma of independent interest, bounding the success probability of a computationally unbounded adversary in distinguishing between a random ml-bit to l-bit function and the CBC MAC of a random l-bit to l-bit function.

  • the security of cipher block chaining
    International Cryptology Conference, 1994
    Co-Authors: Mihir Bellare, Joe Kilian, Phillip Rogaway
    Abstract:

    The cipher block chaining - Message Authentication Code (CBC MAC) specifies that a, message x = x1 ... xm be authenticated among parties who share a secret key a by tagging x with a prefix of fa(m)(x) def = fa(fa(... fa(fa(x1)?x2)?...?xm-1)?xm), where f is some underlying block cipher (eg. f = DES). This method is a pervasively used international and U.S. standard. We provide its first formal justification, showing the following general lemma: that cipher block chaining a pseudorandom function gives a pseudorandom function. Underlying our results is a technical lemma of independent interest, bounding the success probability of a computationally unbounded adversary in distinguishing between a random ml-bit to l-bit function and the CBC MAC of a random l-bit to l-bit function.

Mohsen Machhout - One of the best experts on this subject based on the ideXlab platform.

  • Summary of Topological Study of Chaotic CBC Mode of Operation
    arXiv: Chaotic Dynamics, 2017
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Samar Tawbi, Mohsen Machhout
    Abstract:

    In cryptography, block ciphers are the most fundamental elements in many symmetric-key encryption systems. The cipher block chaining, denoted CBC, presents one of the most famous mode of operation that uses a block cipher to provide confidentiality or authenticity. In this research work, we intend to summarize our results that have been detailed in our previous series of articles. The goal of this series has been to obtain a complete topological study of the CBC block cipher mode of operation after proving his chaotic behavior according to the reputed definition of Devaney.

  • Lyapunov Exponent Evaluation of the CBC Mode of Operation.
    arXiv: Cryptography and Security, 2017
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Jacques Demerjian, Mohsen Machhout
    Abstract:

    The cipher block chaining (CBC) mode of encryption was invented in 1976, and it is currently one of the most commonly used mode. In our previous research works, we have proven that the CBC mode of operation exhibits, under some conditions, a chaotic behavior. The dynamics of this mode has been deeply investigated later, both qualitatively and quantitatively, using the rigorous mathematical topology field of research. In this article, which is an extension of our previous work, we intend to compute a new important quantitative property concerning our chaotic CBC mode of operation, which is the Lyapunov exponent.

  • Proving Chaotic Behavior of CBC Mode of Operation
    International Journal of Bifurcation and Chaos, 2016
    Co-Authors: Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux
    Abstract:

    The cipher block chaining (CBC) mode of operation was invented by IBM (International Business Machine) in 1976. It presents a very popular way of encrypting that is used in various applications. In this paper, we have mathematically proven that, under some conditions, the CBC mode of operation can admit a chaotic behavior according to Devaney. Some cases will be properly studied in order to provide evidence for this idea.

  • The dynamics of the CBC Mode of Operation
    Nonlinearity, 2016
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Bechara Al Bouna, Mohsen Machhout
    Abstract:

    In cryptography, the cipher block chaining (CBC), one of the most commonly used mode in recent years, is a mode of operation that uses a block cipher to provide confidentiality or authenticity. In our previous research work, we have shown that this mode of operation exhibits, under some conditions, a chaotic behaviour. We have studied this behaviour by evaluating both its level of sensibility and expansivity. In this paper, we intend to deepen the topological study of the CBC mode of operation and evaluate its property of topological mixing. Additionally, other quantitative evaluations are performed, and the level of topological entropy has been evaluated too. Keywords cipher block chaining · Mode of operation · block cipher · Chaos · Devaney's chaos · Sensitivity · Expansivity · Topological mixing · Topological entropy

  • Quantitative Evaluation of Chaotic CBC Mode of Operation
    2016
    Co-Authors: Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux
    Abstract:

    The cipher block chaining (CBC) block cipher mode of operation presents a very popular way of encrypting which is used in various applications. In our previous research work, we have mathematically proven that, under some conditions, this mode of operation can admit a chaotic behavior according to Devaney. In this paper, we have developed the quantitative study of this chaotic CBC mode of operation by evaluating both its level of sensibility and expansivity.

Christophe Guyeux - One of the best experts on this subject based on the ideXlab platform.

  • Summary of Topological Study of Chaotic CBC Mode of Operation
    arXiv: Chaotic Dynamics, 2017
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Samar Tawbi, Mohsen Machhout
    Abstract:

    In cryptography, block ciphers are the most fundamental elements in many symmetric-key encryption systems. The cipher block chaining, denoted CBC, presents one of the most famous mode of operation that uses a block cipher to provide confidentiality or authenticity. In this research work, we intend to summarize our results that have been detailed in our previous series of articles. The goal of this series has been to obtain a complete topological study of the CBC block cipher mode of operation after proving his chaotic behavior according to the reputed definition of Devaney.

  • Lyapunov Exponent Evaluation of the CBC Mode of Operation.
    arXiv: Cryptography and Security, 2017
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Jacques Demerjian, Mohsen Machhout
    Abstract:

    The cipher block chaining (CBC) mode of encryption was invented in 1976, and it is currently one of the most commonly used mode. In our previous research works, we have proven that the CBC mode of operation exhibits, under some conditions, a chaotic behavior. The dynamics of this mode has been deeply investigated later, both qualitatively and quantitatively, using the rigorous mathematical topology field of research. In this article, which is an extension of our previous work, we intend to compute a new important quantitative property concerning our chaotic CBC mode of operation, which is the Lyapunov exponent.

  • Proving Chaotic Behavior of CBC Mode of Operation
    International Journal of Bifurcation and Chaos, 2016
    Co-Authors: Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux
    Abstract:

    The cipher block chaining (CBC) mode of operation was invented by IBM (International Business Machine) in 1976. It presents a very popular way of encrypting that is used in various applications. In this paper, we have mathematically proven that, under some conditions, the CBC mode of operation can admit a chaotic behavior according to Devaney. Some cases will be properly studied in order to provide evidence for this idea.

  • The dynamics of the CBC Mode of Operation
    Nonlinearity, 2016
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Bechara Al Bouna, Mohsen Machhout
    Abstract:

    In cryptography, the cipher block chaining (CBC), one of the most commonly used mode in recent years, is a mode of operation that uses a block cipher to provide confidentiality or authenticity. In our previous research work, we have shown that this mode of operation exhibits, under some conditions, a chaotic behaviour. We have studied this behaviour by evaluating both its level of sensibility and expansivity. In this paper, we intend to deepen the topological study of the CBC mode of operation and evaluate its property of topological mixing. Additionally, other quantitative evaluations are performed, and the level of topological entropy has been evaluated too. Keywords cipher block chaining · Mode of operation · block cipher · Chaos · Devaney's chaos · Sensitivity · Expansivity · Topological mixing · Topological entropy

  • Quantitative Evaluation of Chaotic CBC Mode of Operation
    2016
    Co-Authors: Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux
    Abstract:

    The cipher block chaining (CBC) block cipher mode of operation presents a very popular way of encrypting which is used in various applications. In our previous research work, we have mathematically proven that, under some conditions, this mode of operation can admit a chaotic behavior according to Devaney. In this paper, we have developed the quantitative study of this chaotic CBC mode of operation by evaluating both its level of sensibility and expansivity.

Abdessalem Abidi - One of the best experts on this subject based on the ideXlab platform.

  • Summary of Topological Study of Chaotic CBC Mode of Operation
    arXiv: Chaotic Dynamics, 2017
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Samar Tawbi, Mohsen Machhout
    Abstract:

    In cryptography, block ciphers are the most fundamental elements in many symmetric-key encryption systems. The cipher block chaining, denoted CBC, presents one of the most famous mode of operation that uses a block cipher to provide confidentiality or authenticity. In this research work, we intend to summarize our results that have been detailed in our previous series of articles. The goal of this series has been to obtain a complete topological study of the CBC block cipher mode of operation after proving his chaotic behavior according to the reputed definition of Devaney.

  • Lyapunov Exponent Evaluation of the CBC Mode of Operation.
    arXiv: Cryptography and Security, 2017
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Jacques Demerjian, Mohsen Machhout
    Abstract:

    The cipher block chaining (CBC) mode of encryption was invented in 1976, and it is currently one of the most commonly used mode. In our previous research works, we have proven that the CBC mode of operation exhibits, under some conditions, a chaotic behavior. The dynamics of this mode has been deeply investigated later, both qualitatively and quantitatively, using the rigorous mathematical topology field of research. In this article, which is an extension of our previous work, we intend to compute a new important quantitative property concerning our chaotic CBC mode of operation, which is the Lyapunov exponent.

  • Proving Chaotic Behavior of CBC Mode of Operation
    International Journal of Bifurcation and Chaos, 2016
    Co-Authors: Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux
    Abstract:

    The cipher block chaining (CBC) mode of operation was invented by IBM (International Business Machine) in 1976. It presents a very popular way of encrypting that is used in various applications. In this paper, we have mathematically proven that, under some conditions, the CBC mode of operation can admit a chaotic behavior according to Devaney. Some cases will be properly studied in order to provide evidence for this idea.

  • The dynamics of the CBC Mode of Operation
    Nonlinearity, 2016
    Co-Authors: Abdessalem Abidi, Belgacem Bouallegue, Christophe Guyeux, Bechara Al Bouna, Mohsen Machhout
    Abstract:

    In cryptography, the cipher block chaining (CBC), one of the most commonly used mode in recent years, is a mode of operation that uses a block cipher to provide confidentiality or authenticity. In our previous research work, we have shown that this mode of operation exhibits, under some conditions, a chaotic behaviour. We have studied this behaviour by evaluating both its level of sensibility and expansivity. In this paper, we intend to deepen the topological study of the CBC mode of operation and evaluate its property of topological mixing. Additionally, other quantitative evaluations are performed, and the level of topological entropy has been evaluated too. Keywords cipher block chaining · Mode of operation · block cipher · Chaos · Devaney's chaos · Sensitivity · Expansivity · Topological mixing · Topological entropy

  • Quantitative Evaluation of Chaotic CBC Mode of Operation
    2016
    Co-Authors: Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen Machhout, Christophe Guyeux
    Abstract:

    The cipher block chaining (CBC) block cipher mode of operation presents a very popular way of encrypting which is used in various applications. In our previous research work, we have mathematically proven that, under some conditions, this mode of operation can admit a chaotic behavior according to Devaney. In this paper, we have developed the quantitative study of this chaotic CBC mode of operation by evaluating both its level of sensibility and expansivity.