The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Archive


Results

Showing: 1 to 4 of 4

Affiliation shown is the affiliation at the time the talk was given.

03/01/2023
Elements of Robust Real-Time Systems: Regularity-Based Virtualization and Functional Reactive Programming

Elements of Robust Real-Time Systems: Regularity-Based Virtualization and Functional Reactive Programming

Albert Cheng - University of Houston

02/15/2023
Chinese Views of Information and Future Warfare

Chinese Views of Information and Future Warfare

Dean Cheng - Potomac Institute for Policy Studies

03/28/2007
Automatic Debugging and Verification of RTL-Specified Real-Time Systems via Incremental Satisfiability Counting and On-Time and Scalable Intrusion Detection in Embedded Systems

Automatic Debugging and Verification of RTL-Specified Real-Time Systems via Incremental Satisfiability Counting and On-Time and Scalable Intrusion Detection in Embedded Systems

Dr. Albert M. K. Cheng - University of Houston

03/29/1996

The Design of Petrus

Lebin Cheng - Purdue University

Ways to Watch

YouTube

Watch Now!

Over 500 videos of our weekly seminar and symposia keynotes are available on our YouTube Channel. Also check out Spaf's YouTube Channel. Subscribe today!