all InfoSec news
Efficient Proofs of Software Exploitability for Real-world Processors
Web: https://iacr.org/news/item/19118
Sept. 15, 2022, 6 p.m. |
IACR News iacr.org
ePrint Report: Efficient Proofs of Software Exploitability for Real-world Processors
Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer
We consider the problem of proving in zero-knowledge the existence of vulnerabilities in executables compiled to run on real-world processors. We demonstrate that it is practical to prove knowledge of real exploits for real-world processor architectures without the need for source code and without limiting our consideration to narrow vulnerability classes. To achieve this, we devise a …
More from iacr.org / IACR News
PhD Research Fellow in Cryptology (up to 2 positions)
1 day, 10 hours ago |
iacr.org
CBDC-Cash: How to Fund and Defund CBDC Wallets
1 day, 12 hours ago |
iacr.org
Multi-User CDH Problems and the Concrete Security of NAXOS and HMQV
1 day, 13 hours ago |
iacr.org
Latest InfoSec / Cybersecurity Jobs
Chief Information Security Officer
@ Los Angeles Unified School District | Los Angeles
Cybersecurity Engineer
@ Apercen Partners LLC | Folsom, CA
IDM Sr. Security Developer
@ The Ohio State University | Columbus, OH, United States
IT Security Engineer
@ Stylitics | New York City
Information Security Engineer
@ VDA Labs | Remote
Sr. Malware Researcher - Windows Software Engineer
@ SentinelOne | Brno, South Moravian, Czech Republic
Senior Cyber Security Incident Response Analyst
@ ServiceNow | Dublin, Ireland
Staff, Privacy Compliance Monitoring
@ Coupang | Seoul, South Korea
VULNERABILITY MANAGER
@ Security Bank | Makati, Makati, Philippines
Cyber Security Analyst
@ Avery Dennison | Bengaluru/Remote, India
Security Incident Response Manager (Remote, Americas)
@ Shopify | Dallas, TX, United States
Sr. Compliance Specialist (Screening)
@ Coupang | Seoul, South Korea