Computer Security Foundations je godišnja konferencija za istraživače računarske bezbednosti, na kojoj se ispituju trenutne teorije sigurnosti, formalni modeli koji pružaju kontekst za te teorije i tehnike za proveru sigurnosti.
Program uključuje radove, tribine i poster sesiju. Teme od interesa uključuju kontrolu pristupa, protok informacija, tajne kanale, kriptografske protokole, sigurnost baze podataka, sigurnost temeljenu na jeziku, autorizaciju i poverenje, tehnike provere, modele integriteta i dostupnosti te rasprave o ulozi formalnih metoda u računarskoj bezbednosti i prirodu temeljnih istraživanja u ovom području.
