cs.au.dk: 6 stories from 5 submitters

  1. 7
    Static Program Analysis book formalmethods plt cs.au.dk
    nextos avatar via nextos 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 8
    Static Program Analysis book pdf plt cs.au.dk
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 2
    Mechanized Reasoning about a Capability Machine pdf compsci cs.au.dk
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 2
    StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities pdf security cs.au.dk
    fro avatar via fro 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 4
    Static Program Analysis pdf compilers compsci programming cs.au.dk
    petergao avatar via petergao 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 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