Examination of the design and implementation of secure computer systems. Addresses threat models, attacks that compromise security, and techniques for achieving security, based on recent research. Topics include hardware security, operating system (OS) security, capabilities, information flow control, language security, network protocols, and security in web applications. Assignments include miniature projects that involve implementing and compromising secure hardware components, software components, and information store components.

Examination of the design and implementation of secure computer systems. Addresses threat models, attacks that compromise security, and techniques for achieving security, based on recent research. Topics include hardware security, operating system (OS) security, capabilities, information flow control, language security, network protocols, and security in web applications. Assignments include miniature projects that involve implementing and compromising secure hardware components, software components, and information store components.

Fundamental theory and design methods for digital systems. Topics include logic components, Boolean algebra, combinational circuit analysis and design, synchronous and asynchronous sequential circuit analysis and design, state diagrams, state minimization and assignment, basic computer organization and design. This course also teaches the use of software tools for design, minimization, simulation, and schematic capture of digital systems. The digital systems that are designed will be implemented using MSI and LSI devices. A hands-on laboratory is included in which students work in teams.

Fundamental theory and design methods for digital systems. Topics include logic components, Boolean algebra, combinational circuit analysis and design, synchronous and asynchronous sequential circuit analysis and design, state diagrams, state minimization and assignment, basic computer organization and design. This course also teaches the use of software tools for design, minimization, simulation, and schematic capture of digital systems. The digital systems that are designed will be implemented using MSI and LSI devices. A hands-on laboratory is included in which students work in teams.

Synthesis of state machines including design, applications and implementation. Register transfer languages and ASM chart design methodologies. PLA, ROM-centered, and FPGA implementations. Specific applications to controllers and interface devices will be discussed. An FPGA based laboratory experience is included.

Synthesis of state machines including design, applications and implementation. Register transfer languages and ASM chart design methodologies. PLA, ROM-centered, and FPGA implementations. Specific applications to controllers and interface devices will be discussed. An FPGA based laboratory experience is included.

Synthesis of state machines including design, applications and implementation. Register transfer languages and ASM chart design methodologies. PLA, ROM-centered, and FPGA implementations. Specific applications to controllers and interface devices will be discussed. An FPGA based laboratory experience is included.

Synthesis of state machines including design, applications and implementation. Register transfer languages and ASM chart design methodologies. PLA, ROM-centered, and FPGA implementations. Specific applications to controllers and interface devices will be discussed. An FPGA based laboratory experience is included.

Topics of timely interest in electrical and computer engineering. Course content may change from year to year according to instructor's preferences.

Topics of timely interest in Electrical and Computer Engineering. Course content may change from year to year according to instructor's preferences.