Archive
Results
Showing: 1 to 5 of 5Affiliation shown is the affiliation at the time the talk was given.
11/30/2022
![Fast and Reliable Formal Verification of Smart Contracts with the Move Prover](/assets/video/secsem/images/secsem_20221130_full.jpg)
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
Meng Xu - University of Waterloo
11/29/2006
![OS-Level Taint Analysis for Malware Investigation and Defense](/assets/video/secsem/images/secsem_20061129_full.jpg)
OS-Level Taint Analysis for Malware Investigation and Defense
Dongyan Xu - Purdue University
11/16/2005
![Privacy-preserving Policy-driven Access Control with Mixed Credentials](/assets/video/secsem/images/secsem_20051116_full.jpg)
Privacy-preserving Policy-driven Access Control with Mixed Credentials
Shouhuai Xu - University of Texas at San Antonio
02/16/2005
Network Data Streaming - A Computer Scientist's Journey in Signal Processing
Jun Xu - Georgia Tech
Ways to Watch
![YouTube](/assets/images/youtube_200.png)