all InfoSec news
Formal Verification of the Sumcheck Protocol
Feb. 12, 2024, 5:10 a.m. | Azucena Garv\'ia Bosshard Jonathan Bootle Christoph Sprenger
cs.CR updates on arXiv.org arxiv.org
analysis complexity computational cryptography cs.cr cs.lo key progress proof protocol security security analysis systems theory verification verified
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Intern, Cyber Security Vulnerability Management
@ Grab | Petaling Jaya, Malaysia
Compliance - Global Privacy Office - Associate - Bengaluru
@ Goldman Sachs | Bengaluru, Karnataka, India
Cyber Security Engineer (m/w/d) Operational Technology
@ MAN Energy Solutions | Oberhausen, DE, 46145
Armed Security Officer - Hospital
@ Allied Universal | Sun Valley, CA, United States
Governance, Risk and Compliance Officer (Africa)
@ dLocal | Lagos (Remote)
Junior Cloud DevSecOps Network Engineer
@ Accenture Federal Services | Arlington, VA