Purdue University's CERIAS 2021 Security Symposium - David Dill's 'A Formal Verifier For The Diem Blockchain Move Language' →
Our thanks to Purdue University’s The Center for Education and Research in Information Assurance and Security (CERIAS) for publishing their illuminating security symposiums, seminars, talks, and presentations on the Schools’ YouTube channel.