cl.cam.ac.uk: 25 stories from 41 submitters

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