Theorem proving for software and hardware security
Information Technology/Engineering : 227
·
UMBC Cyber Defense Lab presents Interactive Proof Assistants for Verification Ian Blumenfeld Principal Research Mathematician, Two Six Labs 12:00-1:00 pm Friday, 31 January 2020, ITE...