Cyber Security

EECS researchers develop, verify, and field high assurance information systems. Expertise includes theoretical modeling, synthesis and verification, security modeling and analysis, network and database security. Additionally, researchers explore user privacy and security issues in centralized, distributed, and Web environments. Expanding leading-edge cyber security and defense mechanisms earned EECS a federal National Center of Academic Excellence in Information Assurance Education designation.

Associated Disciplines

 
 

Explore: Disciplines

Associated Programs

Associated Faculty

AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Information and Telecommunication Technology Center
785-864-8833
2022 Eaton Hall

Primary Research Interests

  • Formal Methods, Verification, and Synthesis
  • Trusted Computing
  • System-Level Design Languages and Semantics
  • Specification Languages
Assistant Professor
2040 Eaton Hall

Primary Research Interests

  • Cybersecurity from a systems perspective
  • Moving target defenses
  • Enterprise network security
  • Bringing social sciences into cybersecurity
Deane E. Acker Distinguished Professor
785-864-8808
2048 Eaton Hall

Primary Research Interests

  • High-Performance Networks
  • Mobile Networking and Wireless Systems
  • Pervasive Computing Systems
  • System Implementations
Associate Professor
785-864-8817
2024 Eaton Hall

Primary Research Interests

  • Functional Programming
  • Software Engineering
  • Compilers
  • Systems
  • FPGAs
785-864-4488
3014 Eaton Hall

Primary Research Interests

  • Knowledge Discovery
  • Data Mining
  • Machine Learning
  • Expert Systems
  • Reasoning Under Uncertainty
Associate Professor
785-864-7707
2032 Eaton Hall

Primary Research Interests

  • Security and privacy in cyber-physical systems
  • Social network privacy
  • Network security
  • Secure data sharing and publishing
Associate Professor
785-864-7393
2044 Eaton Hall

Primary Research Interests

  • Information security and privacy, database security
  • Information retrieval, Web and online social networks
  • Security and privacy issues in smart grid systems
  • XML and conventional database systems, data management
Professor
785-864-8813
2046 Eaton Hall

Primary Research Interests

  • Digital systems
  • Microprocessors
  • Embedded Systems
Professor, Associate Chair, Director of IT Graduate Programs
785-864-8812
3032 Eaton Hall

Primary Research Interests

  • Software architecture
  • Formal methods in software engineering
  • Cybersecurity and information assurance
  • Secure software engineering
  • Software process and project management
  • Software engineering education
Professor
785-864-8846
3036 Eaton Hall

Primary Research Interests

  • Computer networks and communication; Network science, simulation, and analysis
  • Future Internet architecture, design, and topology
  • Resilient, survivable, and disruption tolerant networks
  • Mobile wireless networks and MANET routing
  • Disruption and delay tolerant end-to-end transport

Associated Facilities

  • SELinux installation
  • Virtualization environment
  • SAL, PVS, and Isabelle verification tools and expertise
  • Rosetta specification and analysis capabilities
  • Computational cluster with over 1,000 processors connected to 37 TB of on-line storage

Program Objectives

  • Understand the cryptographic foundations of information security.
  • Understand and able to employ common encryption/decryption protocols.
  • Understand the fundamental principles, models and algorithms in information and systems security.
  • Understand the risks, vulnerabilities, threats, and attacks in computer and communications systems.
  • Understand the state-of-art protection and defense mechanisms, and the theoretical foundations behind the mechanisms.
  • Understand the theories, principles, and state-of-art practices on dependably and fault-tolerant systems.
  • Understand user privacy issues and protection mechanisms, in centralized, distributed, and Web environments.

Core Coursework (MS)

EECS 755 Software Modeling and Analysis
Modern techniques for modeling and analyzing software systems. Course coverage concentrates on pragmatic, formal modeling techniques that support predictive analysis. Topics include formal modeling, static analysis, and formal analysis using model checking and theorem proving systems. Prerequisite: EECS 368 or equivalent. LEC.

The class is not offered for the Spring 2019 semester.

EECS 765 Introduction to Cryptography and Computer Security
Comprehensive coverage to the fundamentals of cryptography and computer and communication security. This course serves as the first graduate level security course, which introduces the core concepts, theories, algorithms and protocols in computer and communication security, and also prepares students for advanced security courses. This course first covers the mathematical foundation of cryptography and its applications in computer security. The course also covers a wide range of topics: information and database security, software and computer systems security, network security, Internet and web security. Prerequisite: EECS 678 and EECS 563 or EECS 780, or the instructor's approval. LEC.

The class is not offered for the Spring 2019 semester.

EECS 866 Network Security
This course provides in-depth coverage on the concepts, principles, and mechanisms in network security and secure distributed systems. The topics that will be covered include: network security primitives, risks and vulnerabilities, authentication, key management, network attacks and defense, secure communication protocols, intrusion detection, exploit defenses, traffic monitoring and analysis, and privacy mechanisms. Prerequisite: EECS 765 and EECS 563 or EECS 780, or the instructor's approval. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Li, Fengjun
TuTh 04:00-05:15 PM LEA 3152 - LAWRENCE
3 75482
EECS 983 Resilient and Survivable Networking
Graduate research seminar that provides an overview of the emerging field of resilient, survivable, disruption-tolerant, and challenged networks. These networks aim to remain operational and provide an acceptable level of service in the face of a number of challenges including: natural faults of network components; failures due to misconfiguration or operational errors; attacks against the network hardware, software, or protocol infrastructure; large-scale natural disasters; unpredictably long delay paths either due to length (e.g. satellite and interplanetary) or as a result of episodic connectivity; weak and episodic connectivity and asymmetry of wireless channels; high-mobility of nodes and subnetworks; unusual traffic load (e.g. flash crowds). Multi-level solutions that span all protocol layers, planes, and parts of the network will be systemically and systematically covered. In addition to lectures, students read and present summaries of research papers and execute a project. Prerequisite: EECS 780; previous experience in simulation desirable. LEC.

The class is not offered for the Spring 2019 semester.

Elective Coursework (MS)

EECS 711 Security Management and Audit
Administration and management of security of information systems and networks, intrusion detection systems, vulnerability analysis, anomaly detection, computer forensics, auditing and data management, risk management, contingency planning and incident handling, security planning, e-business and commerce security, privacy, traceability and cyber-evidence, human factors and usability issues, policy, legal issues in computer security. (Same as IT 711.) Prerequisite: Graduate standing in EECS, or permission of the instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 718 Graph Algorithms
This course introduces students to computational graph theory and various graph algorithms and their complexities. Algorithms and applications covered will include those related to graph searching, connectivity and distance in graphs, graph isomorphism, spanning trees, shortest paths, matching, flows in network, independent and dominating sets, coloring and covering, and Traveling Salesman and Postman problems. Prerequisite: EECS 560 or graduate standing with consent of instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 738 Machine Learning
"Machine learning is the study of computer algorithms that improve automatically through experience" (Tom Mitchell). This course introduces basic concepts and algorithms in machine learning. A variety of topics such as Bayesian decision theory, dimensionality reduction, clustering, neural networks, hidden Markov models, combining multiple learners, reinforcement learning, Bayesian learning etc. will be covered. Prerequisite: Graduate standing in CS or CoE or consent of instructor. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Kuehnhausen, Martin
M 05:15-07:45 PM LEA 3153 - LAWRENCE
3 75477
EECS 742 Static Analysis
This course presents an introduction to techniques for statically analyzing programs. Converge includes theoretical analysis, definition and implementation of data flow analysis, control flow analysis, abstract interpretation, and type and effects systems. The course presents both the underlying definitions and pragmatic implementation of these systems. Prerequisite: EECS 665 or EECS 662 or equivalent. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Alexander, Perry
TuTh 01:00-02:15 PM LEA 3150 - LAWRENCE
3 78378
EECS 745 Implementation of Networks
EECS 745 is a laboratory-focused implementation of networks. Topics include direct link networks (encoding, framing, error detection, reliable transmission, SONET, FDDL, network adapters, Ethernet, 802.11 wireless networks); packet and cell switching (ATM, switching hardware, bridges and extended LANs); internetworking (Internet concepts, IPv6, multicast, naming/DNS); end-to-end protocols (UDP, TCP, APIs and sockets, RPCs, performance); end-to-end data (presentation formatting, data compression, security); congestion control (queuing disciplines, TCP congestion control and congestion avoidance); high-speed networking (issues, services, experiences); voice over IP (peer-to-peer calling, call managers, call signalling, PBX and call attendant functionality). Prerequisite: EECS 563 or EECS 780. LEC.

The class is not offered for the Spring 2019 semester.

EECS 750 Advanced Operating Systems
In this course, we will study advanced topics in operating systems for modern hardware platforms. The topics include: multicore CPU scheduling, cache and DRAM management, flash-based storage systems and I/O management, power/energy management, and cloud systems. We will discuss classical and recent papers in each of these topics. We will also study advanced resource management capabilities in recent Linux kernels. The course will consist of lectures, student presentations, and a term project. Prerequisite: EECS 678. LEC.

The class is not offered for the Spring 2019 semester.

EECS 753 Embedded and Real Time Computer Systems
This course will cover emerging and proposed techniques and issues in embedded and real time computer systems. Topics will include new paradigms, enabling technologies, and challenges resulting from emerging application domains. Prerequisite: EECS 645 and EECS 678. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Yun, Heechul
MWF 10:00-10:50 AM LEA 1136 - LAWRENCE
3 75466
EECS 762 Programming Language Foundation I
This course presents a basic introduction to the semantics of programming languages. The presentation begins with basic lambda calculus and mechanisms for evaluating lambda calculus terms. Types are introduced in the form of simply typed lambda calculus and techniques for type inference and defining type systems are presented. Finally, techniques for using lambda calculus to define, evaluate and type check common programming language constructs are presented. Prerequisite: EECS 662 or equivalent. LEC.

The class is not offered for the Spring 2019 semester.

EECS 764 Analysis of Algorithms
Models of computations and performance measures; asymptotic analysis of algorithms; basic design paradigms including divide-and-conquer, dynamic programming, backtracking, branch-and-bound, greedy method and heuristics; design and analysis of approximation algorithms; lower bound theory; polynomial transformation and the theory of NP-Completeness; additional topics may be selected from arithmetic complexity, graph algorithms, string matching, and other combinatorial problems. Prerequisite: EECS 660 or equivalent. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Zhong, Cuncong
TuTh 02:30-03:45 PM LEA 2111 - LAWRENCE
3 75478
EECS 767 Information Retrieval
This class introduces algorithms and applications for retrieving information from large document repositories, including the Web. Topics span from classic information retrieval methods for text documents and databases, to recent developments in Web search, including: text algorithms, indexing, probabilistic modeling, performance evaluation, web structures, link analysis, multimedia information retrieval, social network analysis. Prerequisite: EECS 647 or permission of instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 780 Communication Networks
Comprehensive in-depth coverage to communication networks with emphasis on the Internet and the PSTN (wired and wireless, and IoT-Internet of Things). Extensive coverage of protocols and algorithms will be presented at all levels, including: social networking, overlay networks, client/server and peer-to-peer applications; session control; transport protocols, the end-to-end arguments and end-to-end congestion control; network architecture, forwarding, routing, signaling, addressing, and traffic management, programmable and software-defined networks (SDN); quality of service, queuing and multimedia applications; LAN architecture, link protocols, access networks and MAC algorithms; physical media characteristics and coding; network security and information assurance; network management. (Same as IT 780.) Prerequisite: EECS 563 or equivalent or permission of instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 781 Numerical Analysis I
Finite and divided differences. Interpolation, numerical differentiation, and integration. Gaussian quadrature. Numerical integration of ordinary differential equations. Curve fitting. (Same as MATH 781.) Prerequisite: MATH 320 and knowledge of a programming language. LEC.

The class is not offered for the Spring 2019 semester.

EECS 782 Numerical Analysis II
Direct and interactive methods for solving systems of linear equations. Numerical solution of partial differential equations. Numerical determination of eigenvectors and eigenvalues. Solution of nonlinear equations. (Same as MATH 782.) Prerequisite: EECS 781 or MATH 781. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Miedlar, Agnieszka
TuTh 01:00-02:15 PM SNOW 456 - LAWRENCE
3 67361
EECS 830 Advanced Artificial Intelligence
A detailed examination of computer programs and techniques that manifest intelligent behavior, with examples drawn from current literature. The nature of intelligence and intelligent behavior. Development of, improvement to, extension of, and generalization from artificially intelligent systems, such as theorem-provers, pattern recognizers, language analyzers, problem-solvers, question answerers, decision-makers, planners, and learners. Prerequisite: Graduate standing in the EECS department or Cognitive Science or permission of the instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 837 Data Mining
Extracting data from data bases to data warehouses. Preprocessing of data: handling incomplete, uncertain, and vague data sets. Discretization methods. Methodology of learning from examples: rules of generalization, control strategies. Typical learning systems: ID3, AQ, C4.5, and LERS. Validation of knowledge. Visualization of knowledge bases. Data mining under uncertainty, using approaches based on probability theory, fuzzy set theory, and rough set theory. Prerequisite: Graduate standing in CS or CoE or consent of instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 843 Programming Language Foundation II
This course presents advanced topics in programming language semantics. Fixed point types are presented followed by classes of polymorphism and their semantics. System F and type variables are presented along with universal and existential types. The lambda cube is introduced along with advanced forms of polymorphism. Several interpreters are developed implementing various type systems and associated type inference algorithms. Prerequisite: EECS 762. LEC.

The class is not offered for the Spring 2019 semester.

EECS 863 Network Analysis, Simulation, and Measurements
Prediction of communication network performance using analysis, simulation, and measurement. Topics include: an introduction to queueing theory, application of theory to prediction of communication network and protocol performance, and analysis of scheduling mechanisms. Modeling communication networks using analytic and simulation approaches, model verification and validation through analysis and measurement, and deriving statistically significant results. Analysis, simulation, and measurement tools will be discussed. Prerequisite: EECS 461 or MATH 526, and EECS 563 or EECS 780. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Frost, Victor
TuTh 11:00-12:15 PM LEA 3153 - LAWRENCE
3 75480
EECS 865 Wireless Communication Systems
The theory and practice of the engineering of wireless telecommunication systems. Topics include cellular principles, mobile radio propagation (including indoor and outdoor channels), radio link calculations, fading (including Rayleigh, Rician, and other models), packet radio, equalization, diversity, error correction coding, spread spectrum, multiple access techniques (including time, frequency, and code), and wireless networking. Current topics of interest will be covered. Prerequisite: Corequisite: EECS 861. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Kim, Taejoon
TuTh 02:30-03:45 PM LEA 3153 - LAWRENCE
3 75481
EECS 869 Error Control Coding
A study of communication channels and the coding problem. An introduction to finite fields and linear block codes such as cyclic, Hamming, Golay, BCH, and Reed-Solomon. Convolutional codes and the Viberbi algorithm are also covered. Other topics include trellis coded modulation, iterative (turbo) codes, LDPC codes. Prerequisite: EECS: 562 or equivalent. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
LEC Hashemi, Morteza
MWF 01:00-01:50 PM LEA 3153 - LAWRENCE
3 75483
EECS 881 High-Performance Networking
Comprehensive coverage of the discipline of high-bandwidth low-latency networks and communication, including high bandwidth-×-delay products, with an emphasis on principles, architecture, protocols, and system design. Topics include high-performance network architecture, control, and signaling; high-speed wired, optical, and wireless links; fast packet, IP, and optical switching; IP lookup, classification, and scheduling; network processors, end system design and protocol optimization, network interfaces; storage networks; data-center networks, end-to-end protocols, mechanisms, and optimizations; high-bandwidth low-latency applications and cloud computing. Principles will be illustrated with many leading-edge and emerging protocols and architectures. Prerequisite: EECS 563 or EECS 780, or permission of the instructor. LEC.
Spring 2019
Type Time/Place and Instructor Credit Hours Class #
DIS Sterbenz, James
Th 06:10-09:00 PM LEA 3150 - LAWRENCE
3 75467
LEC Sterbenz, James
Tu 06:10-09:00 PM LEA 3150 - LAWRENCE
3 75468
EECS 882 Mobile Wireless Networking
Comprehensive coverage of the disciplines of mobile and wireless networking, with an emphasis on architecture and protocols. Topics include cellular telephony, MAC algorithms, wireless PANs, LANs, MANs, and WANs; wireless and mobile Internet; mobile ad hoc networking; mobility management, sensor networks; satellite networks; and ubiquitous computing. Prerequisite: EECS 563 or EECS 780, or permission of the instructor. LEC.

The class is not offered for the Spring 2019 semester.

EECS 776 Functional Programming and Domain Specific Languages
An introduction to functional programming. Topics include learning how to program in Haskell; IO and purity in software engineering; functional data structures and algorithms; monads and applicative functors; parsing combinators; Domain Specific Languages (DSLs) and DSL construction; advanced type systems; making assurance arguments; testing and debugging. Prerequisite: EECS 368 or equivalent or consent of instructor. LEC.

The class is not offered for the Spring 2019 semester.


Degree Programs
 
 
 
 
 
Explore: Disciplines
Department Events
KU Today
High school seniors can apply to the SELF Program, a four-year enrichment and leadership experience
Engineering students build concrete canoes, Formula race cars, unmanned planes, and rockets for competitions nationwide
More first and second place awards in student AIAA aircraft design contests than any other school in the world
One of 34 U.S. public institutions in the prestigious Association of American Universities
44 nationally ranked graduate programs.
—U.S. News & World Report
Top 50 nationwide for size of library collection.
—ALA
23rd nationwide for service to veterans —"Best for Vets," Military Times