Morgan Thomas

According to our database, Morgan Thomas authored at least 8 papers between 2015 and 2023.

Collaborative distances:

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

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