Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  trump  rust  health  github.com  china  go  theguardian.com  arstechnica.com  show  psychology  web  psypost.org  video  apple  nature.com  javascript  meta  youtube.com  neuroscience 

Identifying Unintended Harms of Cybersecurity Countermeasures

4 years ago cl.cam.ac.uk

The Arm Morello Board

4 years ago cl.cam.ac.uk arm

International Standard Paper Sizes

4 years ago cl.cam.ac.uk

ASAP: As Static As Possible memory management

4 years ago cl.cam.ac.uk

Security Engineering – A Guide to Building Dependable Distributed Systems

5 years ago cl.cam.ac.uk

ARMv8-A system semantics: instruction fetch in relaxed architectures

5 years ago cl.cam.ac.uk

Seven deadly sins of talking about “types” (2014)

5 years ago cl.cam.ac.uk

UTF-8 Was Designed by Ken Thompson and Rob Pike on a Placemat

5 years ago cl.cam.ac.uk

Capsicum: Practical Capabilities for Unix

5 years ago cl.cam.ac.uk

UTF-8 History (2003)

6 years ago cl.cam.ac.uk

Janus: Statically-Driven Profile-Guided Automatic Dynamic Binary Parallelisation

6 years ago cl.cam.ac.uk

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege

6 years ago cl.cam.ac.uk

ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS

6 years ago cl.cam.ac.uk risc

Kiwi: High-Level Synthesis for Accelerating Scientific Computation

6 years ago cl.cam.ac.uk

Cerberus – Semantic models for C

6 years ago cl.cam.ac.uk c

Stephen Kell, “The Mythical Matched Modules” (2009)

6 years ago cl.cam.ac.uk

Mathematizing C++ Concurrency

6 years ago cl.cam.ac.uk concurrency c++

Efficient, Tagged Memory (2017)

6 years ago cl.cam.ac.uk

CHERI: Capability Hardware Enhanced RISC Instructions

6 years ago cl.cam.ac.uk risc

Exploring C Semantics and Pointer Provenance

6 years ago cl.cam.ac.uk c

CheriRTOS: A Capability Model for Embedded Devices

6 years ago cl.cam.ac.uk embedded

Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016)

6 years ago cl.cam.ac.uk

Analysis of USB fan given to journalists at North Korea-Singapore Summit

6 years ago cl.cam.ac.uk

Sketchpad: A man-machine graphical communication system [1963|thesis|pdf]

6 years ago cl.cam.ac.uk

Some Were Meant For C

6 years ago cl.cam.ac.uk c

Fault attacks on secure chips: from glitch to flash (2011)

6 years ago cl.cam.ac.uk flash

What you get is what you C: Controlling side effects in mainstream C compilers

6 years ago cl.cam.ac.uk c compiler

Making Bitcoin Legal

7 years ago cl.cam.ac.uk bitcoin

Exploring New Attack Vectors for Exploitation of Smartphones (2017)

7 years ago cl.cam.ac.uk

The Notion of Proof in Hardware Verification (draft) (1989)

7 years ago cl.cam.ac.uk

More →