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

Affiliation 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

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

Regulatory Compliance Checking Over Encrypted Audit Logs

Omar Chowdhury - 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!