Skip to content

README.md

Latest commit

 

History

History
48 lines (34 loc) · 1.78 KB

README.md

File metadata and controls

48 lines (34 loc) · 1.78 KB
Raw

Paper

Research paper formalizing the رشتہ semantics, kinship-typed lineage edges, and گواہی cryptographic protocol.

Two source variants are kept in sync:

  • rishta.typ, Typst source (recommended; clean RTL handling, single-binary compiler).
  • rishta.tex, LaTeX source (XeLaTeX); retained for venue submission compatibility.

Compile (recommended: Typst)

brew install typst       # ~50MB single binary
cd paper/
typst compile rishta.typ   # → rishta.pdf

Requires Noto Nastaliq Urdu font. macOS ships it by default. On Linux: apt install fonts-noto-nastaliq or download from Google Noto.

Compile (LaTeX)

Requires XeLaTeX (Urdu script needs proper RTL shaping; pdflatex won't work). Note: tectonic 0.16+ segfaults on Nastaliq shaping on macOS Tahoe; use full TeX Live or MacTeX instead.

brew install --cask mactex   # ~5GB
cd paper/
xelatex rishta.tex && bibtex rishta && xelatex rishta.tex && xelatex rishta.tex

Output: rishta.pdf.

Target venues

In rough order of fit:

  • TaPP (USENIX Theory and Practice of Provenance). Workshop, fastest path, ideal niche.
  • PLDI, OOPSLA. Programming-language venues. The kinship-typed angle suits PL audiences.
  • SIGMOD, VLDB. Data-systems venues. The lineage angle suits DB audiences.
  • CCS, USENIX Security. For the cryptographic-testimony angle.

For first submission, retarget from PLDI to TaPP if reviewers push back on novelty-vs-pragmatism. TaPP is friendlier to implementation-driven contributions.

Status

First-cut draft. Open work:

  • Author ORCID.
  • Formal theorems for hash properties (currently informal).
  • Larger-scale evaluation. The case studies are 4 to 10 nodes; reviewers will want 10k to 100k.
  • Deeper related-work coverage on PASS-line provenance literature.
  • Copy-edit pass for academic register.