Simran Tinani

Professional Experience

Security Engineer
Dec'25 – Present
Digital Asset
Institutional blockchain infrastructure company valued at over USD 2B, backed by Goldman Sachs and a16z among others; Canton Network underpins over $6 trillion in tokenized assets
  • Security research, vulnerability analysis, and issue resolution on the Canton ledger and protocol components: identifying, documenting, and resolving 15+ vulnerabilities
  • Hands-on software engineering in Scala: testing, fixing, and refactoring security-critical logic across multiple components of the Canton distributed ledger
  • Researched and contributed to security decisions across multiple cryptographic protocol topics, producing recommendations accepted into Canton’s security architecture and enabling future performance enhancements
  • Conducted technical interviews for security researcher candidates; presented on security topics at internal technical sessions
  • Collaborated cross-functionally with SDK, ledger, and protocol teams on security decisions; proposed refactoring of Canton ledger model documentation for improved comprehensibility, accepted for implementation.
IT Security Analyst
Sep'23 – Nov'25
cnlab security AG
  • Design, execution, and documentation of security reviews
  • Research on post-quantum cryptography, standardization, and implementation efforts; authored a comprehensive guide (Link)
  • Analysis of cryptographic implementations in application code: correctness, misuse detection, and adherence to current standards
  • Web application and API penetration testing for major Swiss financial institutions and insurance companies
  • In-depth source-code audits for smart contract vulnerabilities and logical flaws
  • Development of an internal AI strategy concept; demo on basics of LLM prompting at the cnlab 2024 annual conference (Link)

Education

DAS in Cybersecurity
Jan’24 – Present
ETH Zürich
Two-year long continuing education degree, pursued with 20% load
Selected courses: Network Security, System Security, Formal Methods in Information Security
Selected projects: Programming the infrastructure (client, server) for automated certificate procurement with ACME (Let’s Encrypt); Formal security analysis and proofs of the OTR and PACE protocols using Tamarin Prover.
PhD in Mathematics
Sep’19 – Jun’23
University of Zürich
Thesis: A Study of Algebraic Methods in Asymmetric Cryptography (link). Successfully defended on 9 June 202.3
Advisor: Prof. Joachim Rosenthal
BS-MS Dual Degree in Mathematics
Aug’13 – May’18
IISER Mohali
Cumulative Index: 9.8/10 Summa Cum Laude. Master’s Thesis: A Study of Quadratic Number Fields (link)

Selected Academic Achievements

CYD Doctoral Fellowship Grant — Cyber Defense Campus
Sep’19
Funding for two years’ of PhD salary (∼ CHF 170,000)
Qualified CSIR-NET (Mathematics)
Jun’18
All-India Rank 83
Award of Excellence — IISER Mohali
May’18
Best Overall Academic Performance (Mathematics)
Six Certificates of Excellence — IISER Mohali
Aug’14 – May’18
Awards for Best Semester-Wise Academic Performance (Mathematics)
INSPIRE Scholarship — Dept. of Science & Tech, India
Aug’13 – May’18
Scholarship for higher studies in basic sciences

Programming and Tools

  • Python: Several years of experience: machine learning, computer vision, cryptographic utilities, backend systems development, scripts to support internal workflows
  • Scala: Production software engineering: implementing and refactoring security-critical logic in the Canton distributed ledger codebase
  • Git: Advanced use in a large-scale distributed software engineering environment
  • Shell Scripting: Intermediate proficiency
  • BurpSuite, nmap, sslyze: Security testing and network analysis tooling
  • SageMath: Conducting experiments and verifying theoretical results in cryptography research
  • R: Intermediate proficiency. Data analysis, forecasting, machine learning algorithms
  • LaTeX, Office (Excel, Word, PowerPoint): Scientific documentation, writing papers, and preparing presentations
  • Static website programming—Hugo, HTML, CSS: Working proficiency. Used for building personal website and resume.

Selected Publications (full list with links)

Selected Talks

  • A Number Theoretic Approach to Cycles in LDPC Codes
    25th International Symposium on Mathematical Theory of Network Systems (MTNS) — Bayreuth, Germany (September 2022)
  • Methods for Attacks in Non-Commutative Cryptography
    Cyber Security Track, Cyber Alp Retreat — Cyber-Defence Campus, Switzerland (July 2022)
  • Complexity of Conjugacy Search in some Platform Groups
    International Workshop on Coding Theory and Cryptography, WCC — Rostock, Germany (March 2022)