all InfoSec news
Gap MCSP is not (Levin) NP-complete in Obfustopia
March 11, 2024, 7:12 a.m. |
IACR News www.iacr.org
ePrint Report: Gap MCSP is not (Levin) NP-complete in Obfustopia
Noam Mazor, Rafael Pass
We demonstrate that under believable cryptographic hardness assumptions, Gap versions of standard meta-complexity problems, such as the Minimum Circuit Size problem (MCSP) and the Minimum Time-Bounded Kolmogorov Complexity problem (MKTP) are not NP-complete w.r.t. Levin (i.e., witness-preserving many-to-one) reductions.
In more detail:
- Assuming the existence of indistinguishability obfuscation, and subexponentially-secure one-way functions, an appropriate Gap version of MCSP is not NP-complete under randomized Levin-reductions.
- …
complexity cryptographic eprint report gap meta pass problem problems report size standard under
More from www.iacr.org / IACR News
Postdoctoral Researcher
2 days, 4 hours ago |
www.iacr.org
Blink: An Optimal Proof of Proof-of-Work
3 days, 4 hours ago |
www.iacr.org
PN-based Attacks in the White-box Setting
3 days, 4 hours ago |
www.iacr.org
Succinct Functional Commitments for Circuits from k-Lin
3 days, 10 hours ago |
www.iacr.org
Levin–Kolmogorov Complexity is not in Linear Time
3 days, 10 hours ago |
www.iacr.org
Unstructured Inversions of New Hope
3 days, 10 hours ago |
www.iacr.org
Jobs in InfoSec / Cybersecurity
Information System Security Officer / Auditor
@ Peraton | Washington, DC, United States
Senior Cloud Security Engineer
@ Alludo | US | Boston, MA, US | San Francisco, CA, US | Austin, TX, US
Tier 3 - Malware Analyst, SME
@ Resource Management Concepts, Inc. | Quantico, Virginia, United States
Temp to Hire Senior DevSecOps Engineer
@ Scientific Systems Company, Inc. | Burlington, Massachusetts, United States
Security Engineer III - Splunk | SIEM
@ JPMorgan Chase & Co. | Plano, TX, United States
Information Systems Security Officer / Auditor
@ Peraton | Washington, DC, United States