Search
 
   

3 results for "domain:cs.unc.edu"

  1. 3
    Identifying Security Critical Properties for the Dynamic Verification of a Processor (2017) pdf formalmethods hardware security testing cs.unc.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  2. 1
    Real-Time Motion Planning and Global Navigation Using GPUs compsci hardware math gamma.cs.unc.edu
    animatronic avatar via animatronic 4 years ago | cached | no comments
  3. 3
    The Security of Modern Password Expiration: An Algorithmic Framework and Empirical Analysis pdf security cs.unc.edu
    kyle avatar via kyle 4 years ago | cached | no comments