Courses
| ♦ |
|
20-CS-110:
Introduction to Computer Science |
| |
Introduction to various aspects of the computing discipline including:
critical analytical skills and underlying ideas; survey of some core
areas of CS; introduction to the computing environment using MATLAB; and
information about the profession, prospects, and general academic
skills.
Enrollment limited to CS majors. BoK: NA. Credit Level: U. Credit Hrs: 3.00
|
| |
|
| ♦ |
|
20-CS-112:
Fundamentals of Programming |
| |
Top-down program design; break problems into functions and identify
needed control structures; declare and employ basic MATLAB data types
particularly numbers, strings, 1-dimensional arrays and symbolic
variables; create and use functions.
BoK: QR. Credit Level: U. Credit Hrs: 3.00 20CS121
|
| |
|
| ♦ |
|
20-CS-626:
Formal Verification |
| |
An introduction to formal hardware and software verification. Two
approaches are introduced: model checking and logical inference.
Tools and representations based on these techniques are applied to
specific formal verification problems. Tools discussed are: SAT
solvers, SMT solvers, ACL2, ABC, and Cryptol. Representations
discussed are CNF propositional formulas, first order logic,
and and-inverter graphs. Examples of problems verified range from
sorting algorithms such as mergesort to encryption algorithms such as
AES.
Prereq: 20-CS-229, 15-MATH-253. BoK: QR. Credit Level: U, G. Credit Hrs: 3.00
|
| |
|
| ♦ |
|
20-CS-653:
Network Security |
| |
Current concerns, trends, and techniques to insure security and safety
of data on computers and over networks. Protocols and systems are
discussed with respect to authentication, integrity, and
confidentiality. Secret key (DES, AES, IDEA), and public key systems
(Diffie-Hellman, RSA, DSS), block (CBC) and stream (OFB) ciphers, and
ciphers based on hash algorithms (SHA) are introduced. The
mathematics of these are briefly described. Complex systems based on
the above such as Kerberos, IPSEC, PGP, Email, SSH, SSL, PKI,
Certification Authorities, and Key Distribution Centers are
introduced. A final project provides hands-on understanding of all
the abovem topics.
BoK: QR. Credit Level: U, G. Credit Hrs: 3.00
|
| |
|
| ♦ |
|
20-CS-694:
Advanced Programming Techniques |
| |
Treats programming concepts, especially those needed for upcoming
internet, security, graphics, and stream applications. Topics include:
exception handlers, control abstractions and applications to streams,
co-routines, demand-driven computation, interfaces substitution for
multiple inheritance, content handlers, protocol handlers,
applications of public key cryptosystem, clients and servers, remote
method invocation, uniform data base interfaces, and reflection.
Prereq: 20-CS-403, 20-EECE-429. BoK: QR. Credit Level: U, G. Credit Hrs:
3.00
|
|
|
|
