Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  apple  theguardian.com  arstechnica.com  environment  trump  web  scimex.org  psychology  psypost.org  game  go  techcrunch.com  theregister.com  show  java  china 

Security Engineering – A Guide to Building Dependable Distributed Systems

4 years ago cl.cam.ac.uk

ARMv8-A system semantics: instruction fetch in relaxed architectures

4 years ago cl.cam.ac.uk

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

4 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)

5 years ago cl.cam.ac.uk

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

5 years ago cl.cam.ac.uk

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege

5 years ago cl.cam.ac.uk

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

5 years ago cl.cam.ac.uk risc

Kiwi: High-Level Synthesis for Accelerating Scientific Computation

5 years ago cl.cam.ac.uk

Cerberus – Semantic models for C

5 years ago cl.cam.ac.uk c

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

5 years ago cl.cam.ac.uk

Mathematizing C++ Concurrency

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

Efficient, Tagged Memory (2017)

5 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

6 years ago cl.cam.ac.uk bitcoin

Exploring New Attack Vectors for Exploitation of Smartphones (2017)

6 years ago cl.cam.ac.uk

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

6 years ago cl.cam.ac.uk

ML For The Working Programmer, 2nd ed.

6 years ago cl.cam.ac.uk

Some Were Meant for C: The Endurance of an Unmanageable Language

6 years ago cl.cam.ac.uk c

Network Semantics

6 years ago cl.cam.ac.uk

Why Cryptosystems Fail (1993)

7 years ago cl.cam.ac.uk

More →