Newest Stories by ceh
Home
Recent
Comments
Search
Login
5
Verifying Rust Programs with SMACK
pdf
formalmethods
rust
soarlab.org
via
ceh
4 days ago
|
cached
|
no comments
0
2
Reflections on Random Kitchen Sinks (2017)
☶
ai
culture
benjamin-recht.github.io
via
ceh
8 days ago
|
cached
|
1 comment
1
5
Pseudo Constant Time Implementations of TLS Are Only Pseudo Secure
crypto
security
eprint.iacr.org
via
ceh
8 days ago
|
cached
|
no comments
0
12
FASTER: Open source key-value store from Microsoft Research
☶
databases
performance
release
github.com
via
ceh
9 days ago
|
cached
|
no comments
0
4
The VeriFast Program Verifier
c
formalmethods
java
github.com
via
ceh
10 days ago
|
cached
|
1 comment
1
16
A Formally Verified NAT Stack
☶
pdf
formalmethods
networking
dslab.epfl.ch
via
ceh
10 days ago
|
cached
|
1 comment
1
1
Formal models of core Elasticsearch algorithms
formalmethods
github.com
via
ceh
10 days ago
|
cached
|
no comments
0
4
Koord: Language and analysis for robust, distributed, cyber-physical systems
pdf
formalmethods
plt
programming
cyphyhouse.github.io
via
ceh
15 days ago
|
cached
|
3 comments
3
3
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
pdf
ai
testing
arxiv.org
via
ceh
17 days ago
|
cached
|
no comments
0
4
code2seq: Generating Sequences from Structured Representations of Code
☶
pdf
ai
arxiv.org
via
ceh
18 days ago
|
cached
|
1 comment
1
1
"Death of the Trusted Internet" by Marianne Bellotti (2017)
video
practices
youtube.com
via
ceh
21 days ago
|
cached
|
no comments
0
2
TRIMMER: Application Specialization for Code Debloating
☶
pdf
performance
security
csl.sri.com
via
ceh
21 days ago
|
cached
|
no comments
0
3
TaskSanitizer: Runtime Determinacy Race Detection Tool for OpenMP Tasks
testing
github.com
via
ceh
22 days ago
|
cached
|
no comments
0
1
EmbedSanitizer: A Runtime Race Detection Tool for 32-bit Embedded ARM
testing
github.com
via
ceh
22 days ago
|
cached
|
no comments
0
2
HPolyC: length-preserving encryption for entry-level processors
☶
crypto
python
eprint.iacr.org
via
ceh
23 days ago
|
cached
|
no comments
0
5
Quotations for Learning and Programming
☶
practices
programming
cs.cmu.edu
via
ceh
23 days ago
|
cached
|
2 comments
2
11
GDPR Data Extract Request - Spotify Delivers 850MB and 250MB of Data
privacy
twitter.com
via
ceh
23 days ago
|
cached
|
6 comments
6
2
Crash Triage Process
security
testing
blog.grimm-co.com
via
ceh
24 days ago
|
cached
|
no comments
0
2
Semantic Crash Bucketing
☶
pdf
testing
cs.cmu.edu
via
ceh
24 days ago
|
cached
|
1 comment
1
7
Introducing Web Authentication in Microsoft Edge
browsers
security
blogs.windows.com
via
ceh
26 days ago
|
cached
|
1 comment
1
4
The Design and Implementation of Hyperupcalls
☶
pdf
performance
security
virtualization
usenix.org
via
ceh
29 days ago
|
cached
|
no comments
0
4
Manage Windows 10 connection endpoints
privacy
windows
docs.microsoft.com
via
ceh
1 month ago
|
cached
|
no comments
0
4
Diffy: A digital forensics and incident response tool
python
security
github.com
via
ceh
1 month ago
|
cached
|
no comments
0
1
BOLT: A Practical Binary Optimizer for Data Centers and Beyond
☶
performance
arxiv.org
via
ceh
1 month ago
|
cached
|
no comments
0
4
PerfFuzz: Automatically Generating Pathological Inputs
☶
pdf
testing
carolemieux.com
via
ceh
1 month ago
|
cached
|
no comments
0
Page 2 >>