Active
Recent
Comments
Search
Login
Login
cs.au.dk: 6 stories from 5 submitters
7
Static Program Analysis
book
formalmethods
plt
cs.au.dk
via
nextos
8 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
8
Static Program Analysis
book
pdf
plt
cs.au.dk
via
teymour
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
Mechanized Reasoning about a Capability Machine
pdf
compsci
cs.au.dk
via
calvin
3 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
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Static Program Analysis
pdf
compilers
compsci
programming
cs.au.dk
via
petergao
7 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