2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2026
SMTpip: Interpreter-Aware SMT-Based Dependency Conflict Resolution for Restoring Python Source-Code Executability
Sadman Jashim Sakib, Muhammad Asaduzzaman, Curtis Bright
Software developers rely on packages to reuse existing functionality instead of implementing everything from scratch. Python developers commonly provide package and interpreter dep…
cs.CR2024★ 2 cited
SAT and Lattice Reduction for Integer Factorization
Yameen Ajani, Curtis Bright
The difficulty of factoring large integers into primes is the basis for cryptosystems such as RSA. Due to the widespread popularity of RSA, there have been many proposed attacks on…