Revisiting the Security of the ALRED Design and Two of Its Variants: Marvin and LetterSoup

The ALRED construction is a lightweight strategy for constructing message authentication algorithms from an underlying iterated block cipher. Even though this construction's original analyses show that it is secure against some attacks, the absence of formal security proofs in a strong security model still brings uncertainty on its robustness. In this paper, aiming to give a better understanding of the security level provided by different authentication algorithms based on this design strategy, we formally analyze two ALRED variants-the MARVIN message authentication code and the LETTERSOUP authenticated-encryption scheme,-bounding their security as a function of the attacker's resources and of the underlying cipher's characteristics.

Compendium of authenticated systems and logistics terms, definitions, and acronyms.

"AU-AFIT-LS-3-81."

Geary and Kansas. Governor Geary's administration in Kansas: with a complete history of the territory until June 1857: embracing a full account of its discovery, geography, soil, rivers, climate, products; its organization as a territory. All fully authenticated.

Mode of access: Internet.

Authenticated report of the discussion which took place between the Rev. Richard T. P. Pope, and the Rev. Thomas Maguire, in the lecture room of the Dublin Institution, on the 19th, 20th, 21st, 23d, 24th, and 25th of April, 1827.

Mode of access: Internet.

The military cipher of Commandant Bazeries; an # in decrypting,

Mode of access: Internet.

Instinct displayed, in a collection of well-authenticated facts, exemplifying the extraordinary sagacity of various species of the animal creation.

Mode of access: Internet.

The cipher of Roger Bacon.

Mode of access: Internet.

The welcome visitor, or, The good uncle : being a collection of original stories, containing several well-authenticated anecdotes, displaying striking traits of virtue and heroism in early life.

Copy in Dept. of Rare Books and Special Collections bound in old marbled boards and dark red leather spine. Blue speckled page edges. Inscribed on front endpaper: "Gilbert Elliot from his sisters on his birthday Feb. 23, 1835."

Authenticated report of the discussion which took place at Londonderry, : between six Roman Catholic priests, and six clergymen of the Established Church in the Diocese of Derry, March 1828.

Mode of access: Internet.

News from the invisible world; or, Interesting anecdotes of the dead. Containing a particular survey of the most remarkable and well-authenticated accounts of apparitions, ghosts, spectres, dreams and visions;

Mode of access: Internet.

The surprising case of Rachel Baker, who prays and preaches in her sleep, with specimens of her extraordinary performances taken down accurately in short hand at the time; and showing the unparelleled powers she possesses to pray, exhort, and answer questions, during her unconscious state. The whole authenticated by the most respectable testimony of living witnesses.

Further utterances ascribed to Rachel Baker were published in Devotional somnium, edited by J. H. Douglass, New York, 1815.

The surprising case of Rachel Baker, who prays and preaches in her sleep : with specimens of her extraordinary performances taken down accurately in short hand at the time; and showing the unparalleled powers she possesses to pray, exhort, and answer questions, during her unconscious state. The whole authenticated by the most respectable testimony of living witnesses /

Signatures: A-D⁴.

Last will and testament of George Washington, of Mount Vernon , the only authenticated copy, full and complete, embracing a schedule of his real estate,

Presented by Mr. Heyburn. Ordered to be printed, August 5, 1911.