cl.cam.ac.uk: 65 stories from 44 submitters

  1. 11
    Implementation of Functional Languages Using Custom Hardware (1985) hardware lisp cl.cam.ac.uk
    veqq avatar via veqq 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  2. 3
    Rossfest Symposium and Festschrift in memory of Ross Anderson security cl.cam.ac.uk
    recursion avatar via recursion 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 7
    The CHERI Instruction-Set Architecture, Version 9 ☶ pdf hardware release cl.cam.ac.uk
    nwf avatar via nwf 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 6
    The CHERI capability model: Revisiting RISC in an age of risk pdf compilers plt security cl.cam.ac.uk
    adaszko avatar via adaszko 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  5. 5
    An introduction to inertial navigation pdf hardware science cl.cam.ac.uk
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 17
    Capability Hardware Enhanced RISC Instructions (CHERI) hardware cl.cam.ac.uk
    quad avatar via quad 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  7. 10
    Formal verification of IA-64 division algorithms (2000) pdf formalmethods cl.cam.ac.uk
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 13
    How much is a mechanized proof worth, certification-wise? pdf slides formalmethods cl.cam.ac.uk
    edoput avatar via edoput 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Young Persons Guide to BCPL Programming on the Raspberry Pi pdf plt cl.cam.ac.uk
    idrougge avatar via idrougge 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  10. 4
    Breaking copy protection in microcontrollers (2001) hardware security cl.cam.ac.uk
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 2
    Security Engineering - A Guide to BuildingDependable Distributed Systems book pdf cryptography security cl.cam.ac.uk
    xfbs avatar via xfbs 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 7
    REMS - Rigorous Engineering of Mainstream Systems c++ compsci formalmethods networking osdev cl.cam.ac.uk
    animatronic avatar via animatronic 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 5
    Corecursion and coinduction: what they are and how they relate to recursion and induction pdf compsci cl.cam.ac.uk
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 8
    Identifying Unintended Harms of Cybersecurity Countermeasures (2019) pdf security cl.cam.ac.uk
    mooreds avatar via mooreds 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 3
    CHERI: The Arm Morello Board formalmethods hardware security cl.cam.ac.uk
    indolering avatar via indolering 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 2
    ARMv8-A system semantics: instruction fetch in relaxed architectures hardware cl.cam.ac.uk
    eatonphil avatar via eatonphil 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 6
    CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege ☶ pdf security cl.cam.ac.uk
    lattera avatar via lattera 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 4
    ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ☶ pdf formalmethods cl.cam.ac.uk
    GeoffWozniak avatar via GeoffWozniak 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 4
    Kiwi: High-Level Synthesis for Accelerating Scientific Computation ☶ compilers dotnet hardware performance cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 1
    Mathematizing C++ Concurrency plt cl.cam.ac.uk
    davidk01 avatar via davidk01 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 3
    Stephen Kell, "The Mythical Matched Modules" (2009) pdf practices programming cl.cam.ac.uk
    akkartik avatar via akkartik 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 2
    Efficient, Tagged Memory (2017) ☶ pdf hardware programming security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 5
    CheriRTOS: A Capability Model for Embedded Devices ☶ pdf hardware security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 1
    Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016) ☶ pdf formalmethods programming cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 28
    Some Were Meant For C pdf c philosophy cl.cam.ac.uk
    friendlysock avatar via friendlysock 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 55 comments
Page 2 >>