Skip to content

Light Blue Touchpaper company blog

Formal CHERI: design-time proof of full-scale architecture security properties (2022)

lightbluetouchpaper.org

Read on lightbluetouchpaper.org → Discuss on HN (47) Archived copy

Points: 109
HN comments: 47
Submissions: 1
Cited by: 0 commenters

Security & Privacy Systems & Performance 2024

On Hacker News

Submitted	Title on HN	Points	Comments
Aug 28, 2024	Formal CHERI: design-time proof of full-scale architecture security properties (2022) by fanf2	109	47

More from Light Blue Touchpaper

All 12 posts →

Making sense of the alleged Supermicro motherboard attack

2018707 points313 comments Security & Privacy details

European Commission prefers breaking privacy to protecting kids

2022361 points187 comments Society, Policy & Culture details

There exists a classical model of the photon after all

2015170 points84 comments Science & Space details

Arm releases experimental CHERI-enabled Morello board

2022168 points82 comments Hardware & Electronics details

Struck by a Thunderbolt

2019156 points61 comments Security & Privacy details

A new way to detect ‘deepfake’ picture editing

2021143 points88 comments AI & Machine Learning details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Bypassing airport security via SQL injection

Ian Carroll20242,004 points440 comments details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

Everyone knows your location: tracking myself down through in-app ads

Tim Shmykov20251,957 points600 commentscited by 3 details

Our investigation into the suspicious pressure on Archive.today

AdGuard DNS Blog20251,816 points443 comments details

In 2024, please switch to Firefox

Roy Tanck20231,776 points810 comments details