Morgan Thomas

According to our database, Morgan Thomas authored at least 10 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture.

Morgan Thomas, Mamy Ratsimbazafy, Marcin Bugaj, Lewis Revill, Carlo Modica, Sebastian Schmidt, Ventali Tan, Daniel Lubarov, Max Gillett, Wei Dai

CoRR, May, 2025

Asynchronous Threshold Voltage Defined Logic Family Resistant to LLSI Attacks.

Morgan Thomas, Domenic Forte, Nima Maghari

Proceedings of the IEEE International Symposium on Circuits and Systems, 2025

2023

Arithmetization of predicates into Halo 2 using application specific trace types.

Morgan Thomas

IACR Cryptol. ePrint Arch., 2023

Laser Fault Injection Vulnerability Assessment and Mitigation with Case Study on PG-TVD Logic Cells.

Ryan Holzhausen, Tasnuva Farheen, Morgan Thomas, Nima Maghari, Domenic Forte

Proceedings of the IEEE International Test Conference, 2023

2022

Orbis Specification Language: a type theory for zk-SNARK programming.

Morgan Thomas

IACR Cryptol. ePrint Arch., 2022

Arithmetization of Σ¹₁ relations in Halo 2.

Morgan Thomas

IACR Cryptol. ePrint Arch., 2022

Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2.

Anthony Hart, Morgan Thomas

IACR Cryptol. ePrint Arch., 2022

Look Ahead CLS in Pipelined SAR ADCs.

Morgan Thomas, Marino De Jesus Guzman, Nima Maghari

Proceedings of the IEEE International Symposium on Circuits and Systems, 2022

2018

Approximating Cartesian Closed Categories in NF-Style Set Theories.

Morgan Thomas

J. Philos. Log., 2018

2015

A Generalization of the Routley-Meyer Semantic Framework.

Morgan Thomas

J. Philos. Log., 2015