Search
 
   

1 result for "domain:rsta.royalsocietypublishing.org"

  1. 5
    The HACMS Program: Using Formal Methods to Eliminate Exploitable Bugs (2017) ☶ formalmethods practices programming security rsta.royalsocietypublishing.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments