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  arstechnica.com  trump  web  theguardian.com  psychology  scimex.org  environment  psypost.org  game  show  go  techcrunch.com  java  theregister.com  intel 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Implementation of Functional Languages Using Custom Hardware (1985)

2 months ago cl.cam.ac.uk hardware lisp

Rossfest Symposium and Festschrift in memory of Ross Anderson

2 months ago cl.cam.ac.uk security

Baking Pi – Operating Systems Development (2012)

3 months ago cl.cam.ac.uk

BCPL evolved from CPL. (2021) [pdf]

6 months ago cl.cam.ac.uk pdf

The CHERI Instruction-Set Architecture, Version 9

13 months ago cl.cam.ac.uk hardware pdf release

The Cerberus C semantics [pdf]

18 months ago cl.cam.ac.uk c pdf

JBIG-KIT lossless image compression library

21 months ago cl.cam.ac.uk compression

The CHERI capability model: Revisiting RISC in an age of risk

2 years ago cl.cam.ac.uk risc

Side Channels

2 years ago cl.cam.ac.uk

An introduction to inertial navigation

2 years ago cl.cam.ac.uk

A summary of the international standard date and time notation (2004)

2 years ago cl.cam.ac.uk

Cheri C/C++ Programming Guide

2 years ago cl.cam.ac.uk c c++

Capability Hardware Enhanced RISC Instructions (CHERI)

2 years ago cl.cam.ac.uk risc

Copy Protection in Modern Microcontrollers (2001)

2 years ago cl.cam.ac.uk

Formal verification of IA-64 division algorithms (2000)

2 years ago cl.cam.ac.uk algorithm

“Proof-of-Work” Proves Not to Work (2004)

2 years ago cl.cam.ac.uk

How much is a mechanized proof worth, certification-wise?

3 years ago cl.cam.ac.uk

Young Persons Guide to BCPL Programming on the Raspberry Pi

3 years ago cl.cam.ac.uk raspberry-pi

Inline and Sideline Approaches for Low-Cost Memory Safety in C

3 years ago cl.cam.ac.uk c

Predicting visible flicker in temporally changing images (2020)

3 years ago cl.cam.ac.uk

Breaking copy protection in microcontrollers (2001)

4 years ago cl.cam.ac.uk

Security Engineering - A Guide to BuildingDependable Distributed Systems

4 years ago cl.cam.ac.uk

Cheri C/C++ Programming Guide: Capability Hardware Enhanced RISC Instructions

4 years ago cl.cam.ac.uk c c++ risc

REMS - Rigorous Engineering of Mainstream Systems

4 years ago cl.cam.ac.uk

Corecursion and coinduction: what they are and how they relate to recursion and induction

4 years ago cl.cam.ac.uk

Corecursion and coinduction: how they relate to recursion and induction

4 years ago cl.cam.ac.uk

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

More →