Active
Recent
Comments
Search
Login
Login
cs.au.dk: 5 stories from 4 submitters
8
Static Program Analysis
book
pdf
plt
cs.au.dk
via
teymour
4 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
Mechanized Reasoning about a Capability Machine
pdf
compsci
cs.au.dk
via
calvin
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
pdf
security
cs.au.dk
via
fro
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Static Program Analysis
pdf
compilers
compsci
programming
cs.au.dk
via
petergao
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
A practical cryptanalysis of the Telegram messaging protocol
pdf
networking
security
cs.au.dk
via
calvin
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2