The following list of posts is filtered
Clear Filter
Posts
McKenna McCall, 11:45 ET, Monday, Feb 17, ITE325
Formal Methods or Usable Security: Why Not Both? McKenna McCall, CMU 11:45-12:45 Monday, Feb 17, UMBC ITE 325 and online Formal methods research involves using mathematical techniques to...
February 16, 2025
·
9:19 AM