Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Doroz, Yarkin Advisor Mus, Koksal

1. FPGA Accelerated SAT Solver

Keyword:: Binary Equation, Verilog, VHDL, Boolean Satisfiability, Cryptography, and FPGA
Creator:: Gray, Andrew
Advisor:: Mus, Koksal and Doroz, Yarkin
Publisher:: Worcester Polytechnic Institute
Date Created:: 2024-03-09
Resource Type:: Major Qualifying Project

2. FPGA Accelerated SAT Solver

Keyword:: Boolean SAT, FPGA, MQP, Look Up Table, and CDCL
Creator:: Mao, Xinyun, David, Samuel, Eben, Joshua, and Hunter, Patrick
Advisor:: Doroz, Yarkin and Mus, Koksal
Publisher:: Worcester Polytechnic Institute
Date Created:: 2024-04-25
Resource Type:: Major Qualifying Project

3. FPGA Accelerated SAT Solver

Keyword:: FPGA, Verilog, Post-Quantum Crypto, Cryptography, and Systems of Equations
Creator:: Lund, Matthew
Advisor:: Mus, Koksal and Doroz, Yarkin
Publisher:: Worcester Polytechnic Institute
Date Created:: 12/13/2023
Resource Type:: Major Qualifying Project

4. Solving Binary MQs on FPGA

Creator:: Kennedy, Frank
Advisor:: Doroz, Yarkin and Mus, Koksal
Publisher:: Worcester Polytechnic Institute
Date Created:: 2023-04-26
Resource Type:: Major Qualifying Project