Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
4 results for "domain:ssrg.nicta.com.au"
2
The COGENT Case for Property-Based Testing (2017)
pdf
compsci
formalmethods
programming
testing
ssrg.nicta.com.au
via
nickpsecurity
9 months ago
|
cached
|
no comments
0
7
NICTA's open source Cogent: Reducing the cost of verified systems software.
compsci
programming
security
ssrg.nicta.com.au
via
BruceM
2 years ago
|
cached
|
no comments
0
14
Do microkernels suck?
linux
programming
ssrg.nicta.com.au
via
calvin
2 years ago
|
cached
|
4 comments
4
12
CacheBleed: A Timing Attack on OpenSSL Constant Time RSA
security
ssrg.nicta.com.au
via
LeahNeukirchen
2 years ago
|
cached
|
no comments
0