all InfoSec news
Purdue University’s CERIAS 2021 Security Symposium – David Dill’s ‘A Formal Verifier For The Diem Blockchain Move Language’
March 26, 2022, 3 p.m. | Marc Handelman
Security Boulevard securityboulevard.com
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.
The post Purdue University’s CERIAS 2021 Security Symposium – David Dill’s ‘A Formal Verifier For The Diem Blockchain Move Language’ appeared first on Security Boulevard.
blockchain blockchain education cryptology education education information security language purdue university cerias security security symposium university
More from securityboulevard.com / Security Boulevard
Jobs in InfoSec / Cybersecurity
SOC 2 Manager, Audit and Certification
@ Deloitte | US and CA Multiple Locations
Information Systems Security Officer (ISSO) (Remote within HR Virginia area)
@ OneZero Solutions | Portsmouth, VA, USA
Security Analyst
@ UNDP | Tripoli (LBY), Libya
Senior Incident Response Consultant
@ Google | United Kingdom
Product Manager II, Threat Intelligence, Google Cloud
@ Google | Austin, TX, USA; Reston, VA, USA
Cloud Security Analyst
@ Cloud Peritus | Bengaluru, India