Archive
Results
Showing: 1 to 2 of 2Affiliation shown is the affiliation at the time the talk was given.
09/30/2015
![Applying Formal Verification Techniques for Checking Compliance of Computer Systems and Protocols](/assets/video/secsem/images/secsem_20150930_full.jpg)
Applying Formal Verification Techniques for Checking Compliance of Computer Systems and Protocols
Omar Chowdhury - Purdue University
02/04/2015
![Regulatory Compliance Checking Over Encrypted Audit Logs](/assets/video/secsem/images/secsem_20150204_full.jpg)
Regulatory Compliance Checking Over Encrypted Audit Logs
Omar Chowdhury - Purdue University
Ways to Watch
![YouTube](/assets/images/youtube_200.png)