cs.au.dk: 5 stories from 4 submitters

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