Search
 
   

4 results for "domain:ssrg.nicta.com.au"

  1. 2
    The COGENT Case for Property-Based Testing (2017) pdf compsci formalmethods programming testing ssrg.nicta.com.au
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments
  2. 7
    NICTA's open source Cogent: Reducing the cost of verified systems software. compsci programming security ssrg.nicta.com.au
    BruceM avatar via BruceM 2 years ago | cached | no comments
  3. 14
    Do microkernels suck? linux programming ssrg.nicta.com.au
    calvin avatar via calvin 2 years ago | cached | 4 comments
  4. 12
    CacheBleed: A Timing Attack on OpenSSL Constant Time RSA security ssrg.nicta.com.au
    LeahNeukirchen avatar via LeahNeukirchen 2 years ago | cached | no comments