Showing items tagged iot. Show All
Talk: Formal Methods or Usable Security: Why Not Both?
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...
Posted: February 16, 2025, 9:19 AM
