Hacker News
- Static Program Analysis https://cs.au.dk/~amoeller/spa/ 9 comments
- Algorithms and Data Structures – Transition systems (2004) [pdf] https://cs.au.dk/~gerth/dADS1-12/daimi-fn64.pdf 14 comments
- Feynman on group decision-making at Los Alamos (1985) https://cs.au.dk/~danvy/lafb.html 150 comments
- The BETA Programming Language http://cs.au.dk/~beta/ 18 comments
- Static Program Analysis [pdf] https://cs.au.dk/~amoeller/spa/spa.pdf 14 comments
- Organizing programs without classes (1991) [pdf] http://cs.au.dk/~hosc/local/LaSC-4-3-pp223-242.pdf 9 comments
- A Practical Cryptanalysis of the Telegram Messaging Protocol [pdf] http://cs.au.dk/~jakjak/master-thesis.pdf 3 comments
Lobsters
- Static Program Analysis https://cs.au.dk/~amoeller/spa/ 2 comments book , formalmethods , plt
- A practical cryptanalysis of the Telegram messaging protocol http://cs.au.dk/~jakjak/master-thesis.pdf 2 comments networking , pdf , security
- Danish researchers present a browser extension to tackle Cookie popups for you https://cs.au.dk/news-events/consent-o-matic 324 comments internetisbeautiful
- Pointer Assertion Logic Engine (static analysis for arbitrary pointer graphs) https://cs.au.dk/~amoeller/papers/pale/pale.pdf 3 comments rust
- A practical cryptanalysis of the Telegram messaging protocol [pdf] http://cs.au.dk/~jakjak/master-thesis.pdf 4 comments crypto
- A practical cryptanalysis of the Telegram messaging protocol [PDF] http://cs.au.dk/~jakjak/master-thesis.pdf 17 comments programming
- A practical cryptanalysis of the Telegram messaging protocol [pdf] http://cs.au.dk/~jakjak/master-thesis.pdf 55 comments linux
- Analysis of Telegram Crypto http://cs.au.dk/~jakjak/master-thesis.pdf 73 comments netsec
- A practical cryptanalysis of the Telegram messaging protocol [pdf] http://cs.au.dk/~jakjak/master-thesis.pdf 8 comments crypto
- A practical cryptanalysis of the Telegram messaging protocol [pdf] http://cs.au.dk/~jakjak/master-thesis.pdf 3 comments privacy
- Guarded Type Promotion - Eliminating Redundant Casts in Java http://cs.au.dk/~jwbrics/papers/guardedtypepromotion/paper.pdf 4 comments java