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 5 of 5

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

Episode #815
11/30/2022
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

Meng Xu - University of Waterloo

Episode #676
10/31/2018
Precise and Scalable Detection of Double-Fetch Bugs in Kernels

Precise and Scalable Detection of Double-Fetch Bugs in Kernels

Meng Xu - Georgia Tech

Episode #336
11/29/2006
OS-Level Taint Analysis for Malware Investigation and Defense

OS-Level Taint Analysis for Malware Investigation and Defense

Dongyan Xu - Purdue University

Episode #305
11/16/2005
Privacy-preserving Policy-driven Access Control with Mixed Credentials

Privacy-preserving Policy-driven Access Control with Mixed Credentials

Shouhuai Xu - University of Texas at San Antonio

Episode #283
02/16/2005

Network Data Streaming - A Computer Scientist's Journey in Signal Processing

Jun Xu - Georgia Tech

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!