Grades:
Median GPA:
Mean GPA:
Click a checkbox to add something to compare.
Search Results
| Name | Grades | Rating |
|---|---|---|
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
UTD TRENDSGrades:
Median GPA:
Mean GPA:
Click a checkbox to add something to compare.
Search Results
| Name | Grades | Rating |
|---|---|---|
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
Search Results
| Name | Grades | Rating |
|---|---|---|
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
Search Results
| Name | Grades | Rating |
|---|---|---|
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
A+ | ||
Language-based Security
CS 6335
Erik Jonsson School of Engineering and Computer Science
Development and formal verification of mission-critical software. Machine-checkable proofs of software properties. Automated theorem proving. Certifying compilation. Software model-checking. Binary software security hardening. Software hijacking and information flow attacks and defenses. 3 credit hours.
Prerequisites: CS 5330 and CS 5343.
Offering Frequency: Each year
Grades: 41
Median GPA: A-
Mean GPA: 3.442
Click a checkbox to add something to compare.
Language-based Security
CS 6335
Erik Jonsson School of Engineering and Computer Science
Development and formal verification of mission-critical software. Machine-checkable proofs of software properties. Automated theorem proving. Certifying compilation. Software model-checking. Binary software security hardening. Software hijacking and information flow attacks and defenses. 3 credit hours.
Prerequisites: CS 5330 and CS 5343.
Offering Frequency: Each year
Grades: 41
Median GPA: A-
Mean GPA: 3.442
Click a checkbox to add something to compare.