BLUE

PWpeterwening.bsky.socialOct 9, 2024 3:36pm

Here are 3 of the victims identified so far, one of them was a farmer. • Tamer Abdullah Mansour • Abdullah Baraka • Shamel Muhammad Ali Baraka

Yinhamis.bsky.socialOct 9, 2024 3:12pm

O lailar mansour oq vc ta fazendo aqui hein? 😡😡

GCgulfchannels.bsky.socialOct 9, 2024 11:17am

Nourhan Mansour https://www.gulfchannels.com/121717/ Nourhan Mansour

Nourhan Mansour

RORF-Religion.orfodon.org.ap.brid.gyOct 9, 2024 7:15am

Angesichts zunehmender Polarisierungen sprechen Josef Schuster, Präsident des Zentralrats der Juden in Deutschland, und Ahmad Mansour, deutscher Psychologe und Islamismusexperte, in „Spannungsfelder“ über Demokratiedefizite, Antisemitismus und den Nahostkonflikt […]

CMwhatcameronsaid.bsky.socialOct 8, 2024 7:09pm

Khaldoon, Mansour, etc...

Eella2.bsky.socialOct 8, 2024 2:22pm

Alle Experten für alles, niemand Experte für sich selbst. (...a bissl dem #Mansour#Phönix zugehört)

Eella2.bsky.socialOct 8, 2024 2:19pm

Ahmad Mansour, auch so einer.

Rrevan.socialOct 8, 2024 1:05pm

Does Rupert Murdoch owe Sheik Mansour money? That’s the only explanation I can come up with

Rrevan.socialOct 8, 2024 12:43pm

Okay, I really need to know what leverage Manchester City and Abu Dhabi have over the Times, I’ve never seen a newspaper carry the water for a team like this, and my grandfather used to read the NY Post for the Rangers and Giants coverage.

Manchester City tell rival clubs: Premier League misled you over verdict — The Times and The Sunday Times

Manchester City have accused the Premier League of “misleading” clubs with “inaccuracies” in its verdict on the legal dispute over rules governing commercial deals between clubs and related companies....

ACarxiv-cs-cl.bsky.socialOct 8, 2024 10:31am

Mujeen Sung, Song Feng, James Gung, Raphael Shu, Yi Zhang, Saab Mansour Structured List-Grounded Question Answering https://arxiv.org/abs/2410.03950

EUeprint.bsky.socialOct 8, 2024 7:18am

Block Ciphers in Idealized Models: Automated Proofs and New Security Results (Miguel Ambrona, Pooya Farshim, Patrick Harasser) ia.cr/2024/1584

Abstract. We develop and implement AlgoROM, a tool to systematically analyze the security of a wide class of symmetric primitives in idealized models of computation. The schemes that we consider are those that can be expressed over an alphabet consisting of XOR and function symbols for hash functions, permutations, or block ciphers.

We implement our framework in OCaml and apply it to a number of prominent constructions, which include the Luby–Rackoff (LR), key-alternating Feistel (KAF), and iterated Even–Mansour (EM) ciphers, as well as substitution-permutation networks (SPN). The security models we consider are (S)PRP, and strengthenings thereof under related-key (RK), key-dependent message (KD), and more generally key-correlated (KC) attacks.

Using AlgoROM, we are able to reconfirm a number of classical and previously established security theorems, and in one case we identify a gap in a proof from the literature (Connolly et al., ToSC’19). However, most results that we prove with AlgoROM are new. In particular, we obtain new positive results for LR, KAF, EM, and SPN in the above models. Our results better reflect the configurations actually implemented in practice, as they use a single idealized primitive. In contrast to many existing tools, our automated proofs do not operate in symbolic models, but rather in the standard probabilistic model for cryptography.