This novel course presents an introduction to the topic of security engineering by building on analytical and experimental computer engineering techniques, and then applying them to security problems. Security is playing an increasing role in computer engineering and society at large. Security engineering crosses several disciplines of computer engineering including hardware, software, cryptography, experimental methods as well as broader topics such as management, economics, risk analysis, policy and human factors.

This novel course presents an introduction to the topic of security engineering by building on analytical and experimental computer engineering techniques, and then applying them to security problems. Security is playing an increasing role in computer engineering and society at large. Security engineering crosses several disciplines of computer engineering including hardware, software, cryptography, experimental methods as well as broader topics such as management, economics, risk analysis, policy and human factors.

Modern techniques for synthesis and verification of digital systems. Topics in synthesis cover high-level synthesis, decision diagrams, combinational and sequential logic optimization. Topics in verification include symbolic techniques, equivalence checking, satisfiability, FSM traversal and state reachability analysis. Open to graduate students and senior undergraduate students only. Prerequisites: undergraduate courses in digital logic design and hardware organization.

Analysis of circuit response to sinusoidal excitation; phasor analysis, impedance, admittance, power, frequency response, transfer functions, Bode plots, filters. Linear analysis of nonlinear circuits; DC biasing of 3 terminal devices, small signal analysis, single device amplifiers, small signal gain and frequency response.

Analysis of circuit response to sinusoidal excitation; phasor analysis, impedance, admittance, power, frequency response, transfer functions, Bode plots, filters. Linear analysis of nonlinear circuits; DC biasing of 3 terminal devices, small signal analysis, single device amplifiers, small signal gain and frequency response.

Analysis of circuit response to sinusoidal excitation; phasor analysis, impedance, admittance, power, frequency response, transfer functions, Bode plots, filters. Linear analysis of nonlinear circuits; DC biasing of 3 terminal devices, small signal analysis, single device amplifiers, small signal gain and frequency response.

Analysis of circuit response to sinusoidal excitation; phasor analysis, impedance, admittance, power, frequency response, transfer functions, Bode plots, filters. Linear analysis of nonlinear circuits; DC biasing of 3 terminal devices, small signal analysis, single device amplifiers, small signal gain and frequency response.

This novel course presents an introduction to the topic of security engineering by building on analytical and experimental computer engineering techniques, and then applying them to security problems. Security is playing an increasing role in computer engineering and society at large. Security engineering crosses several disciplines of computer engineering including hardware, software, cryptography, experimental methods as well as broader topics such as management, economics, risk analysis, policy and human factors.

This course provides the theoretical and practical foundations for engineering the production of contemporary and future software intensive systems, and provides the basis for the analysis and co-design of complex hardware and software systems. The course enables advanced engineering problem solving concepts and skills by means of state of the art tools. The primary objectives of the course are to provide a deep introduction to both i) "systems" software programming in a Unix environment and ii) the basic suite of tools for engineering software.

Discrete-time signal and system representations. Linear time invariant systems, impulse responses, convolution. Frequency-domain analysis of discrete-time signals and systems: Fourier series, Fourier Transforms, frequency responses, filtering. Discrete-time processing of continuous-time signals. Z Transforms for systems analysis: transfer functions, stability. Design of FIR and IIR filters. Introduction to random processes and statistical noise models. Applications in digital communications and signal processing systems.