Karim Eldefrawy

Cryptography, Cybersecurity, Privacy

Co-founder and CTO at Confidencial.io
2017-2021: SRI
2011-2016: HRL Laboratories
2006-2010: PhD@UC Irvine

Scientific curiosity

Scientific knowledge map · Paper #75

Decomposable MPC with Security Against Malicious Adversaries

Kelong Cong, Karim Eldefrawy, Ben Terner, and Titouan Tanguy

·

  • Theory

What does the paper try to establish?

Can secure multiparty computation be decomposed into separately handled components while retaining a meaningful security guarantee against malicious parties?

What is the proposed answer?

The title identifies this as the intended research direction, but no public manuscript was located. The map therefore does not assert a decomposition definition, construction, malicious-security theorem, composition rule, or efficiency result.

Six dimensions, kept separate

The chart summarizes documented evidence and process. It is not a correctness probability, confidence score, or ranking, and no composite score is calculated.

The visual spider chart requires JavaScript. The complete values and rationales follow in text.

LowMediumHighN/A = not assessed

A smaller value means less documented support for that dimension, not that the paper is false or unimportant.

Epistemic evidence Low

Only author-site metadata supports the map; no manuscript, abstract, theorem, proof, or artifact was located.

Author-site metadata Documented full-text search gap
Auditability Low

No paper-specific official publication record, public archive, or author-hosted copy was located; assumptions, evidence, and version identity cannot be audited from this map.

Documented full-text search gap
Production provenance Medium

Named authorship and under-review status provide baseline human and lifecycle provenance. Contributor roles, revision history, AI or tool use, artifact lineage, and final author approval remain unaudited.

Author-site metadata
External scrutiny Low

Under-review status records a pending process; no completed review outcome or independent technical scrutiny was located.

Author-site metadata Documented full-text search gap
Reception Low

The dated exact-title search located 0 citations. Under the author-defined rule, 0–8 located citations is Low, 9–10 is Medium, and 11 or more is High.

Dated exact-title citation search
Contribution significance Not assessed

The title identifies a potentially substantive objective, but novelty, result strength, and impact cannot be assessed without a technical source.

Author-site metadata Documented full-text search gap

Assessment: Ai draft author review pending · 2026-07-11 · rubric 0.2. These dimensions describe documented support and process, not truth, correctness, or a universal ranking. No composite score is calculated.

Hierarchical knowledge map

Collapse a branch for a top-level reading, or follow its source links and child nodes to audit the evidence and boundaries underneath it.

paper

Decomposable MPC with Security Against Malicious Adversaries

An under-review theory paper whose public title joins two technical commitments—decomposability and malicious security—but for which no public manuscript or abstract was located.

Author-site metadata Documented full-text search gap
  1. question

    Research direction

    title inferred

    The title motivates asking whether an MPC execution or functionality can be divided into components without losing security when corrupted parties may deviate arbitrarily.

    Author-site metadata
  2. concept

    Decomposable MPC

    term present definition unavailable

    “Decomposable” is part of the title, but the available sources do not define what is decomposed: functionality, protocol phases, parties, state, preprocessing and online work, or some other object.

    Author-site metadata Documented full-text search gap
  3. threat model

    Malicious-adversary target

    term present model unavailable

    The title explicitly targets malicious adversaries. Corruption timing, threshold, adaptivity, setup, network model, fairness, abort, robustness, and composability framework are not publicly specified.

    Author-site metadata Documented full-text search gap
  4. construction

    Construction not publicly auditable

    not available for audit

    No protocol, compiler, sharing method, decomposition interface, simulator, or ideal functionality can be extracted from the located sources.

    Documented full-text search gap
  5. theorem group

    Security theorem not publicly auditable

    not available for audit

    The sources do not establish that a construction exists or state its assumptions, quantifiers, security loss, failure probability, round complexity, or communication and computation costs.

    Documented full-text search gap
  6. evidence group

    Evidence status

    no public evidence located

    No proof, formalization, implementation, benchmark, experiment, or linked artifact was located. Under-review status is process metadata, not evidence for the technical result.

    Author-site metadata Documented full-text search gap
  7. limitation group

    Information needed for a substantive map

    explicit unknowns

    A manuscript audit must recover the decomposition object and interface, security definition, adversary and setup, construction, proof architecture, composition claim, efficiency bounds, comparison baseline, and any artifact lineage.

    Documented full-text search gap

Source index

Locators state the depth of the current audit. PDF page numbers, where present, are one-based file pages; metadata-, summary-, and abstract-bounded records explicitly identify their limitations.

  1. Author-site metadata Paper #75 title, named authors, topic labels, and Under review status
  2. Documented full-text search gap Search completed 2026-07-11 across exact-title and author-title web queries, IACR ePrint, arXiv, DBLP, Crossref, OpenAlex, and discoverable author/coauthor pages; no primary full text or stable paper record found
  3. Dated exact-title citation search No citing scholarly work verifiably located when searched 2026-07-11